基于BDD算法的系统安全性分析

System Safety Analysis Based On Binary Decision Diagrams

随着现代武器系统越来越趋于大型化和复杂化,采用事故树方法进行系统安全性分析的难点问题也日益突出,本文研究了基于BDD的FTA优化求解算法,并采用此方法对某系统进行了相关安全性分析。

With the development of modem weapon systems in large-scale and complexity, the analysis of system safety based on FTA becomes more and more difficulty. The paper brought forward the Binary Decision Diagram （BDD） algorithm to optimize the modal of FTA and analyze one certain system based on BDD.