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

• 作者: 徐登福 曹山根 王诚学
• 来源期刊: 软件
• 学科: 工学
• 关键词: BDD算法 顶事件 底事件
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 软件工程与技术
• 页码范围: 39-41
• 分类号: TP391.75
• 字数: 2074字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6970.2012.04.013

摘要

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