A Novel Fault Injection Algorithm for Safety Analysis

Conventional methods for safety analysis have problems in terms of correctness and efficiency. Using formal methods and fault injection techniques can improve consistency and correctness for safety process throughout the system´s safety lifecycle. Yet existed methods for fault injection and safety analysis mainly think about single faults injection for system, seldom do with fault injection for multiple faults. In the paper, we propose a novel fault injection algorithm for safety analysis, it can inject single faults and multiple faults to system model, automatically form extended system models, by safety verification for these models, verification results for fault injection are obtained, besides, we analyze the results of multiple faults, we can get the minimal combination of multiple faults which violate the safety. Compared with existed methods for safety analysis and fault injection, our new method provides an excellent way to form the minimal cut sets of fault trees, it has improved the completeness of fault injection, and reduced the time for safety verification and analysis.