A Safety Analysis Method for Model Checking Based on Multiple Faults Injection

Abstract

To ensure the full safety of safety-critical system, a safety analysis method for model checking based on multiple faults injection is presented in the paper. In the proposed method, the single and multiple faults can be injected into the formal model of safety-critical system, and an extended formal model with various faults can be acquired. The safety of the extended formal model can be verified, the results of safety analysis can be obtained, thus a minimal cut set of fault tree can be acquired, which violates the safety requirements of the system, and formal safety requirements of the system can be represented by computational tree logic. The method proposed in this paper solves the problem of multi-fault injection and the generation of formal safety requirements in the process of safety analysis, it makes safety analysis for system more comprehensive, so the quality of system’s safety analysis is further improved.