SAHARA -A Systematic Approach for Hazard Analysis and Risk Assessment

[1]  Myron Hecht,et al.  A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex , 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.

[2]  Peter Liggesmeyer,et al.  SafeSpection - A Systematic Customization Approach for Software Hazard Identification , 2008, SAFECOMP.

[3]  Peter Liggesmeyer,et al.  A New Component Concept for Fault Trees , 2003, SCS.

[4]  D. Otte,et al.  Die Abbreviated Injury Scale (AIS) , 2010, Der Unfallchirurg.

[5]  Françoise Decortis,et al.  COSIMO: A cognitive simulation model of human decision making and behavior in accident management of complex plants , 1992, IEEE Trans. Syst. Man Cybern..

[6]  Peter A. Lindsay,et al.  An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees , 2005, IFM.

[7]  Erik Hollnagel,et al.  Human Reliability Analysis: Context and Control , 1994 .

[8]  David E. Kieras,et al.  The GOMS family of user interface analysis techniques: comparison and contrast , 1996, TCHI.

[9]  N. Ozarin,et al.  A process for failure modes and effects analysis of computer software , 2003, Annual Reliability and Maintainability Symposium, 2003..

[10]  Jens Rasmussen,et al.  Information Processing and Human-Machine Interaction: An Approach to Cognitive Engineering , 1986 .

[11]  Allen Newell,et al.  The psychology of human-computer interaction , 1983 .

[12]  John A. McDermid,et al.  Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure , 2001, Reliab. Eng. Syst. Saf..

[13]  J. A. McDermid,et al.  Integrated techniques for software safety analysis , 1992 .

[14]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[15]  W. Haddon,et al.  The injury severity score: a method for describing patients with multiple injuries and evaluating emergency care. , 1974, The Journal of trauma.

[16]  Thomas Kuhn,et al.  Integration of Component Fault Trees into the UML , 2010, MoDELS.

[17]  Norman E. Fenton,et al.  Quantitative Analysis of Faults and Failures in a Complex Software System , 2000, IEEE Trans. Software Eng..

[18]  Jens Rasmussen,et al.  The Definition of Human Error and a Taxonomy for Technical System Design , 1987 .

[19]  Lars Grunske,et al.  Automatic generation of analyzable failure propagation models from component-level failure annotations , 2005, Fifth International Conference on Quality Software (QSIC'05).

[20]  Karama Kanoun,et al.  An architecture-based dependability modeling framework using AADL , 2007, ICSE 2007.

[21]  Frank E. Ritter,et al.  Techniques for modelling human performance in synthetic environments : A supplementary review , 1999 .

[22]  J. A. McDermid,et al.  Towards integrated safety analysis and design , 1994, SIAP.

[23]  Lars Grunske,et al.  Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM , 2006, QoSA.

[24]  Mario Trapp,et al.  Fault Tree Analysis of Software-Controlled Component Systems Based on Second-Order Probabilities , 2009, 2009 20th International Symposium on Software Reliability Engineering.

[25]  David Lorge Parnas,et al.  Functional Documents for Computer Systems , 1995, Sci. Comput. Program..

[26]  Morten Fjeld,et al.  Task analysis in human-computer interaction - supporting action regulation theory by simulation , 1998 .

[27]  B. D. Hebbron,et al.  Applying HAZOP to Software Engineering Models , 2008 .

[28]  Scott A. Shappell,et al.  Human Factors Analysis of Postaccident Data: Applying Theoretical Taxonomies of Human Error , 1997 .

[29]  Yili Liu,et al.  Queueing Network-Model Human Processor (QN-MHP): A computational architecture for multitask performance in human-machine systems , 2006, TCHI.

[30]  Yiannis Papadopoulos,et al.  Model-based synthesis of fault trees from Matlab-Simulink models , 2001, 2001 International Conference on Dependable Systems and Networks.

[31]  Mario Trapp,et al.  Herausforderungen und Erfahrungen eines OEM bei der Gestaltung Sicherheitsgerechter Prozesse , 2007, GI Jahrestagung.

[32]  Jens Rasmussen,et al.  Skills, rules, and knowledge; signals, signs, and symbols, and other distinctions in human performance models , 1983, IEEE Transactions on Systems, Man, and Cybernetics.