Abstract:Fault propagation identification is an indispensable task in complex system safety analysis. With the growing of system scale and complexity, it is hard for the traditional safety analysis techniques, which depend mainly on analysts' personal skills and experiences, to keep completeness and timeliness; moreover, some failure modes may be neglected and failure effects misjudged during the analysis. Formal science provides a new way to solve this problem, where formal verification method such as model checking can automatically validate whether the system design satisfies the given safety requirements, which can reduce an analysts' repetitive work and design cost, and improve the efficiency and quality of safety analysis. However, there is lack of a deliberate and reasonable way to build system models because of the diversity and flexibility of languages used for model checking, which results in that it is difficult to specify and model system quickly and accurately, and leads to some deviation in model checking. In this paper, a system modeling and safety property specifying approach using symbolic language SMV is proposed, including guidance on the mapping relationships between the formal language elements and system functions, architecture and failure modes; moreover, how to define system specifications and safety requirements using temporal logic formulas is discussed as well. Finally, a case study about airborne system safety analysis is provided, in which the counter-examples that do not meet system specifications can be identified automatically using model checker NuSMV to find out fault events and their propagation that can result in accidents.

Fault Simulation Based on Functional Model

Modeling and Analysis Method Based on Multi-Signal Flow Graph Using Multi-Functional Fault Model

Analog Circuit Fault Simulation Approach Based on Pspice Engine

Development of multilevel flow model for power plant process fault diagnosis

A Fault Propagation Modeling and Analysis Method Based on Model Checking

Multiple-Model-Based Diagnosis of Multiple Faults With High-Speed Train Applications Using Second-Level Adaptation

Fault Injection Strategies for Air Brake System of High-speed Train with AMESim/Simulink Co-simulation

F2G: A hybrid fault-function graphical model for reliability analysis of complex equipment with coupled faults

A novel framework for the reliability modelling of repairable multistate complex mechanical systems considering propagation relationships.

System Modeling and Fault Tree Analysis Based on AltaRica

A Fault Injection and Formal Verification Framework Based on UML Sequence Diagrams

Cause-Effect Modeling and Spatial-Temporal Simulation of Power Distribution Fault Events

An experimental platform for fault diagnosis of ZPW-2000A track circuit

Fault diagnosis for open component capacitor in track circuits

Integrated testability modeling method of complex systems for fault feature selection and diagnosis strategy optimization

A New Comprehensive Fault Diagnosis Approach Based on Fuzzy Theory

Fault tree analysis oF train rear-end collision accident considering common cause Failure analiZ a drZe Wa usZK odZeŃ dla KoliZJi tylne J cZĘŚci sKŁ adu PociĄ gu Z uWZ glĘdnieniem usZK odZenia sPo Wodo Wanego WsPÓlnĄ PrZ ycZ ynĄ

An Analytic Model for Fault Diagnosis in Power Systems Considering Malfunctions of Protective Relays and Circuit Breakers

Model-based Fault Classification for Automotive Software

Simulation combined model-based testing method for train control systems

Driver Model Based on Optimized Calculation and Functional Safety Simulation