Using SysML to Automatically Generate of Failure Modes and Effects Analyses

This paper describes a method for automated generation of Failure Modes and Effects Analyses from SysML models containing block definition diagrams, internal block diagrams, state transition machines, and activity diagrams. The SysML model can be created in any SysML modeling tool and then an analysis is performed using the AltaRica language and modeling tool. An example using a simple satellite and ground user shows the approach.

[1]  Joseph G. D'Ambrosio,et al.  Effective Application of Software Safety Techniques for Automotive Embedded Control Systems , 2005 .

[2]  Richard F. Paige,et al.  Analysing System Failure Behaviours with PRISM , 2010, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion.

[3]  Jianwen Xiang,et al.  Automatic Synthesis of Static Fault Trees from System Models , 2011, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement.

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

[5]  John A. McDermid,et al.  An integrated tool set for software safety analysis , 1993, J. Syst. Softw..

[6]  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.