SysML-based and Prolog-supported FMEA

Failure Mode and Effects Analysis (FMEA) is a well-known technique for evaluating the effects of potential failure modes of components of a system. It is a crucial reliability and safety engineering activity for critical systems requiring systematic inductive reasoning from postulated component failures. We present an approach based on SysML and Prolog to support the tasks of an FMEA analyst. SysML block diagrams of the system under analysis are annotated with valid and error states of components and of their input flows, as well as with the logical conditions that may determine erroneous outputs. From the annotated model, a Prolog knowledge base is automatically built, transparently to the analyst. This can then be queried, e.g., to obtain the flows' and blocks' states that lead to system failures, or to trace the propagation of faults. The approach is suited for integration in modern model-driven system design processes. We describe a proof-of-concept implementation based on the Papyrus modeling tool under Eclipse, and show a demo example.

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

[2]  K. Barraclough.  Eclipse , 2006, BMJ : British Medical Journal.

[3]  Peter A. Lindsay,et al.  Experience with fault injection experiments for FMEA , 2011, Softw. Pract. Exp..

[4]  Mats Carlsson,et al.  Parallel execution of prolog programs: a survey , 2001, TOPL.

[5]  Samaneh Shokravi,et al.  An ontology approach to support FMEA studies , 2009, 2009 Annual Reliability and Maintainability Symposium.

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

[7]  Chris Price,et al.  Automated Failure Effect Analysis for PHM of UAV , 2008 .

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

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

[10]  Yiannis Papadopoulos,et al.  A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs , 2004, SCS.

[11]  Myron Hecht,et al.  Automated Generation of Failure Modes and Effects Analysis from SysML Models , 2014, 2014 IEEE International Symposium on Software Reliability Engineering Workshops.

[12]  Stefano Russo,et al.  Model-in-the-Loop Testing of a Railway Interlocking System , 2015, MODELSWARD.

[13]  Joost-Pieter Katoen,et al.  Safety, Dependability and Performance Analysis of Extended AADL Models , 2011, Comput. J..

[14]  Donald P. Ryan,et al.  Papyrus , 1988, The Biblical Archaeologist.

[15]  Stefano Russo,et al.  Integrating MDT in an Industrial Process in the Air Traffic Control Domain , 2012, 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops.

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

[17]  Stefano Russo,et al.  Engineering Air Traffic Control Systems with a Model-Driven Approach , 2013, IEEE Software.

[18]  D. J. Woollons,et al.  Failure modes and effects analysis of complex engineering systems using functional models , 1998, Artif. Intell. Eng..

[19]  Riichiro Mizoguchi,et al.  An Ontology-Based Annotation Framework for Representing the Functionality of Engineering Devices , 2006 .

[20]  Christophe Bisière,et al.  The Prince Project and its Applications , 1992, Logic Programming Summer School.

[21]  Martin Walker,et al.  Semi-Automatic FMEA Supporting Complex Systems with Combinations and Sequences of Failures , 2009 .

[22]  Carlos Guedes Soares,et al.  Towards a better interaction between design and dependability analysis: FMEA derived from UML/SysML models , 2008 .

[23]  Marco Bozzano,et al.  Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform , 2003, SAFECOMP.

[24]  M. Molhanec.  Model based FMEA method for solar modules , 2013, Proceedings of the 36th International Spring Seminar on Electronics Technology.

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

[26]  Stefano Russo,et al.  Model-driven engineering of a railway interlocking system , 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

[27]  D. Pumfrey,et al.  Towards a Practicable Process for Automated Safety Analysis , 2006 .

[28]  Jean-Yves Choley,et al.  Automatic fault tree generation from SysML system models , 2014, 2014 IEEE/ASME International Conference on Advanced Intelligent Mechatronics.

[29]  Peter Struss,et al.  AUTAS: A Tool for Supporting FMECA Generation in Aeronautic Systems , 2004, ECAI.

[30]  Tom Schrijvers,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Swi-prolog , 2022 .