Fault Model Libraries for Safety Analysis and their Ontology-based Reuse

In this paper, we firstly analyze the requirement of building fault model libraries and then clarify programs for building fault model libraries in Simulink. Additionally, we present an ontology-base method for reuse of the fault model libraries. The libraries and its reuse are hopeful to enhance the quality and efficiency of safety analysis of critical systems developed with model-based method.

[1]  Jun Sun,et al.  Fair Model Checking with Process Counter Abstraction , 2009, FM.

[2]  Wei Song,et al.  On Designing and Verifying Smart Home Embedded Software Model Based on AADL , 2008, 2008 Second International Conference on Future Generation Communication and Networking.

[3]  Steve Vestal,et al.  The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[4]  Neal Snooke.  Model-Based Failure Modes and Effects Analysis of Software , 2004 .

[5]  Ying-Qing Guo,et al.  Sensor Soft Failure Diagnostics Based on Aero-Engine On-Board Adaptive Model , 2008, 2008 3rd International Conference on Innovative Computing Information and Control.

[6]  Willy W. Vandenbrande,et al.  How to Use FMEA to Reduce the Size of Your Quality Toolbox , 1998 .

[7]  Sudeepa Roy,et al.  Tool for Translating Simulink Models into Input Language of a Model Checker , 2006, ICFEM.

[8]  Mats P. E. Heimdahl,et al.  Model-Based Safety Analysis Final Report , 2005 .

[9]  Marco Bozzano,et al.  Design and Safety Assessment of Critical Systems , 2010 .

[10]  Marco Bozzano,et al.  The FSAP/NuSMV-SA Safety Analysis Platform , 2007, International Journal on Software Tools for Technology Transfer.

[11]  E. Balaban,et al.  Modeling, Detection, and Disambiguation of Sensor Faults for Aerospace Applications , 2009, IEEE Sensors Journal.

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

[13]  Edward A. Lee,et al.  A model-based design methodology for cyber-physical systems , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.

[14]  Pavel Mach,et al.  The ontology based FMEA of lead free soldering process , 2009, 33rd International Spring Seminar on Electronics Technology, ISSE 2010.

[15]  Bernhard Schätz,et al.  Model-Based Development of Embedded Systems , 2002, OOIS Workshops.

[16]  M. Ashburner,et al.  Gene Ontology: tool for the unification of biology , 2000, Nature Genetics.