Abstract:It is important to analyze the failure in safety-critical system because a disaster may occur once any type of failure mode and/or failure effect is neglected or misjudged. In order to conduct the failure analysis more effectively and efficiently, the concept of formal modeling is introduced. This paper improved the model-based safety analysis (MBSA) working process to optimize the formal failure analysis approach of safety-critical system. As the core works of MBSA process, the formal modeling and model extension aim to build an integrated system model which can be used for analyzing the failure behaviors in the system by model checking. However, in order to automatically check if there are any potential failures in the structured system model and whether the model satisfies the specified system properties and requirements using model checker, model transformation is normally needed, which can introduced potential errors during the transformation. Moreover, different model checkers generally require the system models to be expressed in a particular input language, which increases the difficulty of modeling as well. In order to avoid these problems and improve the efficiency of failure analysis work, this paper focused on how to build an unified model of safety-critical system quickly and accurately using symbolic language SMV, and conduct automatic verification using the corresponding open-source model checker NuSMV soon afterwards. After the model checking, the formal verification results such as counter-examples generated by model checking need to be transformed into traditional failure analysis artifacts, such as FMEA and/or FTA, to guide the iterative improvement of system development conveniently. Therefore, to solve the transformation from formal verification conclusions to traditional failure analysis results is another key point of this paper. Finally, a case study about airborne equipment is provided to validate the proposed method.

Failure Mode Reasoning in Model Based Safety Analysis

From Function to Failure

Reasoning with failures

Formal Support For Failure Knowledge Modeling And Diagnostic Reasoning Using Polychromatic Sets

An Improved FFIP Method Based on Mathematical Logic and SysML

A Novel Method for Failure Mode and Effects Analysis Using Fuzzy Evidential Reasoning and Fuzzy Petri Nets

Model-based Reasoning Approach for Automated Failure Analysis: An Industrial Gas Turbine Application

Fuzzy Failure Mode and Effects Analysis Using Fuzzy Evidential Reasoning and Belief Rule-Based Methodology

A Novel Failure Mode and Effects Analysis Method Based on Fuzzy Evidential Reasoning Rules.

Probabilistic Failure Modes and Effects Analysis for Electromechanical Systems Based on Formal Method

Systematic Failure Mode and Effect Analysis Using a Hybrid Multiple Criteria Decision-Making Approach

Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees

Enhanced GO Methodology to Support Failure Mode, Effects and Criticality Analysis

Failure analysis in smart grid solar integration using an extended decision-making-based FMEA model under uncertain environment

A Novel Logic-Based Approach for Failure Modes Mitigation Control and Quantitative System Reliability Analyses

Failure Mode and Effects Analysis: an Integrated Approach Based on Rough Set Theory and Prospect Theory.

A method based on q-rung orthopair fuzzy cognitive map and TOPSIS method for failure mode and effect analysis considering risk causal relationships

An Improved Formal Failure Analysis Approach for Safety-Critical System Based on MBSA

A Novel Failure Mode and Effect Analysis Approach Integrating Probabilistic Linguistic Term Sets and Fuzzy Petri Nets.

Synthetic Safety Analysis: A Systematic Approach in Combination of Fault Tree Analysis and Fuzzy Failure Modes and Effect Analysis

Failure Mode and Effect Analysis Using Soft Set Theory and COPRAS Method