Then, applications of fuzzy fault tree analysis in safety analysis of computer interlocking software are discussed.
然后，讨论了模糊故障树分析在计算机联锁软件的安全性分析中的应用。
Theoretical analysis and experiments show that the scheme can effectively reduce a program's state space and satisfy the safety requirement imposed by software model check.
理论分析和实验结果表明，条件化可以有效缩减程序状态空间，并且满足软件模型检测对状态缩减的安全性要求。
Combining with failure mode and effect analysis (FMEA), a method of safety risk analysis for software architecture on the basis of probabilistic influence diagram is proposed in the thesis.
本文结合失效模式和效果分析FMEA方法，提出一种基于概率影响图的软件体系结构安全性风险分析方法。
应用推荐