Improved Safety Analysis Integration in a Systems Engineering Approach

The goal of the paper is the integration of safety analysis in a model-based systems engineering approach to ensure consistency between system design and safety artifacts. This integration permits the continuous improvement of the structure and behavior of the system. It also reduces system development time and prevents late detection of errors. To reach this purpose, the SafeSysE methodology is extended. In SafeSysE, a preliminary Failure Mode and Effects Analysis (FMEA) is automatically generated from a SysML model, and this FMEA is then completed by the safety expert but no further development was proposed. The contribution of this paper is to suggest recommendations based on the FMEA analysis in order to enhance the system design and make it comply with safety requirements. First, an updated system structure that may contain redundancy is proposed. Then, a redundancy profile is used to enrich the system model with redundancy information, which will allow the generation of a dynamic fault tree considering the system behavior. Finally, the generated dynamic fault tree should be analyzed in order to create a state machine diagram that describes the behavior of the system. The created state machine with an internal block diagram will help the system designers to better understand the system dysfunctions by simulating the system. The proposed methodology is applied to an Electro-Mechanical Actuator system which is used in the aeronautics domain.

[1]  Dorina C. Petriu,et al.  UML Model to Fault Tree Model Transformation for Dependability Analysis , 2014 .

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

[3]  Shaojun Li,et al.  Study on Generation of Fault Trees from Altarica Models , 2014 .

[4]  Olivia Penas,et al.  A SysML-based methodology for mechatronic systems architectural design , 2014, Adv. Eng. Informatics.

[5]  Ali Zeinal Hamadani,et al.  Reliability optimization of series-parallel systems with mixed redundancy strategy in subsystems , 2014, Reliab. Eng. Syst. Saf..

[6]  Mariëlle Stoelinga,et al.  Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools , 2014, Comput. Sci. Rev..

[7]  Vincent Idasiak,et al.  Designing the database for a reliability aware Model-Based System Engineering process , 2013, Reliab. Eng. Syst. Saf..

[8]  Antoine Rauzy,et al.  Open-PSA Model Exchange Formal , 2015 .

[9]  David D. Walden,et al.  Systems engineering handbook : a guide for system life cycle processes and activities , 2015 .

[10]  Martin Walker,et al.  A translation of State Machines to temporal fault trees , 2010, 2010 International Conference on Dependable Systems and Networks Workshops (DSN-W).

[11]  Régine Laleau,et al.  A first attempt to combine SysML requirements diagrams and B , 2010, Innovations in Systems and Software Engineering.

[12]  Clifton A. Ericson,et al.  Hazard Analysis Techniques for System Safety , 2005 .

[13]  HammadiMoncef,et al.  A SysML-based methodology for mechatronic systems architectural design , 2014 .

[14]  Pierre David,et al.  Dependability analysis activities merged with system engineering, a real case study feedback , 2011 .

[15]  Nataliya Yakymets,et al.  Model-based System Engineering for Fault Tree Generation and Analysis , 2016, MODELSWARD.

[16]  Tongdan Jin,et al.  MULTIPLE FAILURE MODES ANALYSIS AND WEIGHTED RISK PRIORITY NUMBER EVALUATION IN FMEA , 2011 .

[17]  Marc Zeller,et al.  ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures , 2015, 2015 41st Euromicro Conference on Software Engineering and Advanced Applications.

[18]  A. Joshi.  Automatic Generation of Static Fault Trees from AADL Models , 2007 .

[19]  G. Latif-Shabgahi,et al.  A Novel Methodology for Synthesis of Fault Trees from MATLAB-Simulink Model , 2008 .

[20]  Joanne Bechta Dugan,et al.  ANALYZING DYNAMIC FAULT TREES DERIVED FROM MODEL-BASED SYSTEM ARCHITECTURES , 2008 .

[21]  Philipp Helle,et al.  Automatic SysML-based safety analysis , 2012, ACES-MB '12.

[22]  Marco Bozzano,et al.  Model-Based Safety and Assessment , 2017, Lecture Notes in Computer Science.

[23]  Jean-Yves Choley,et al.  Improved system architecture and behavior based on FMEA recommendations , 2017 .

[24]  Ephraim Balz.  USE CASE-BASED FAULT TREE ANALYSIS OF SAFETY-RELATED EMBEDDED SYSTEMS , 2005 .

[25]  Pierre David,et al.  Reliability study of complex physical systems using SysML , 2010, Reliab. Eng. Syst. Saf..

[26]  Andrea Tundis,et al.  On the Reliability Analysis of Systems and SoS: The RAMSAS Method and Related Extensions , 2015, IEEE Systems Journal.

[27]  Jean-Yves Choley,et al.  An integrated design methodology for safety critical systems , 2016, 2016 Annual IEEE Systems Conference (SysCon).

[28]  Jean-Yves Choley,et al.  Redundancy Handling with Model-Based Systems Engineering , 2016 .

[29]  Antoine Rauzy,et al.  Mode automata and their compilation into fault trees , 2002, Reliab. Eng. Syst. Saf..

[30]  Joanne Bechta Dugan,et al.  Automatic synthesis of dynamic fault trees from UML system models , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..

[31]  Jean-Yves Choley,et al.  SafeSysE: A Safety Analysis Integration in Systems Engineering Approach , 2018, IEEE Systems Journal.