文件名称：A Safety Analysis Method for Model Checking Based on Multiple Faults Injection
文件大小：844KB
文件格式：PDF
更新时间：2024-02-28 11:46:36
研究论文
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 acquir