Model-based hazard analysis of undesirable environmental and components interaction

Identifying the detrimental effect of environmental factors and subsystem interactions are historically one of the most challenging aspects of early hazard assessment in the design of complex avionic systems. Therefore, a complete understanding of potential failure effects before and even after a catastrophe happens is a very difficult task. This paper proposes a model-based hazard analysis procedure for early identification of potential safety issues caused by unexpected environmental factors and subsystem interactions within a complex avionic system. The proposed methodology maps hazard and vulnerability modes to specific components in the system and analyzes the hazard propagation paths for risk control and protection strategies. The main advantage of the proposed method is the ability to provide the designers with means to use low-fidelity, high level models to identify hazardous interactions. Using this technique, designers can examine the collective impacts of environmental and subsystem risks on overall system during early stages of design and develop a hazard mitigation strategy.

[1]  Michael T. Goodrich,et al.  Algorithm Design: Foundations, Analysis, and Internet Examples , 2001 .

[2]  Bran Selic On the Semantic Foundations of Standard UML 2.0 , 2004, SFM.

[3]  J.T. Malin,et al.  Vulnerabilities, influences and interaction paths: failure data for integrated system risk analysis , 2006, 2006 IEEE Aerospace Conference.

[4]  Nancy G. Leveson,et al.  Safety and Risk -Driven Design in Complex Systems -of - Systems , 2005 .

[5]  Wim Dehaene,et al.  UML 2 and SysML: an approach to deal with complexity in SoC/NoC design , 2005, Design, Automation and Test in Europe.

[6]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[7]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[8]  Tim Weilkiens,et al.  Systems engineering with SysML / UML - modeling, analysis, design , 2007 .

[9]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[10]  Erik Hollnagel,et al.  Barriers And Accident Prevention , 2004 .

[11]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

[12]  COIS E. CELLIER Object{oriented Modeling: Means for Dealing with System Complexity , 1996 .

[13]  Kristin L. Wood,et al.  A heuristic method for identifying modules for product architectures , 2000 .

[14]  H. Jaap van den Herik,et al.  Progressive Strategies for Monte-Carlo Tree Search , 2008 .

[15]  Matthew I. Campbell,et al.  Automated synthesis of electromechanical design configurations from empirical analysis of function to form mapping , 2009 .

[16]  Jack C. Wileden,et al.  Ontologies for supporting engineering analysis models , 2005, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[17]  Jeffrey S. Lavell,et al.  Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions , 2000 .

[18]  Chokri Mraidha,et al.  Enhancing UML extensions with operational semantics behaviored profiles with templates , 2007, MODELS'07.

[19]  Mark W. Maier Architecting Principles for Systems‐of‐Systems , 1996 .

[20]  David John Pumfrey,et al.  The principled design of computer system safety analyses , 1999 .

[21]  Peter Checkland,et al.  Systems Thinking, Systems Practice , 1981 .

[22]  Nicolas Jouandeau,et al.  A Parallel Monte-Carlo Tree Search Algorithm , 2008, Computers and Games.

[23]  Rahul Rai,et al.  Simulation-Based Design of Aircraft Electrical Power Systems , 2011 .

[24]  Chris W. Johnson,et al.  The ESA/NASA SOHO mission interruption: using the STAMP accident analysis technique for a software related ‘mishap’ , 2003, Softw. Pract. Exp..

[25]  Leon F. McGinnis,et al.  System and simulation modeling using SYSML , 2007, 2007 Winter Simulation Conference.

[26]  Ole J. Mengshoel,et al.  Advanced Diagnostics and Prognostics Testbed , 2007 .

[27]  Vadim Kotov,et al.  Systems of systems as communicating structures , 1999 .

[28]  Henrik Lönn,et al.  Advancing Traffic Efficiency and Safety through Software Technology phase 2 ( ATESST 2 ) Report type D 2 . 1 Appendix A 3 . 4 Report name Evaluation report EAST-ADL 2 behavior support , 2010 .

[29]  Graham Jolliffe Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems (CESAR) - An Objective Overview , 2010, SSS.

[30]  Alberto L. Sangiovanni-Vincentelli,et al.  Metamodels in Europe: Languages, Tools, and Applications , 2009, IEEE Design & Test of Computers.

[31]  Rob Alexander,et al.  Using Simulation for Systems of Systems Hazard Analysis , 2007 .

[32]  Christiaan J. J. Paredis,et al.  Reconfigurable Models: A Modeling Paradigm to Support Simulation-Based Design , 2000 .

[33]  Sanford Friedenthal,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2008 .

[34]  G. Rabadi,et al.  System of systems engineering , 2003, IEEE Engineering Management Review.