基于贝叶斯网络的复杂系统动态故障树定量分析方法

doi:10.3969/j.issn.0372-2112.2016.05.032

电子学报 ›› 2016, Vol. 44 ›› Issue (5): 1234-1239.DOI: 10.3969/j.issn.0372-2112.2016.05.032

基于贝叶斯网络的复杂系统动态故障树定量分析方法

房丙午^1,2, 黄志球¹, 李勇¹, 王勇¹

1. 南京航空航天大学计算机科学与技术学院, 江苏南京 210016;
2. 安徽财贸职业学院电子信息系, 安徽合肥 230061

收稿日期:2015-06-15 修回日期:2015-08-26 出版日期:2016-05-25
- 通讯作者:
- 黄志球
- 作者简介:
- 房丙午 男,1974年生于安徽安庆.现为南京航空航天大学计算机科学与技术学院博士研究生,副教授.主要研究方向软件工程,软件系统安全性分析.E-mail:bingwufang@163.com
- 基金资助:
- 国家自然科学基金 (No.61272083,No.61562087); 安徽省教育厅自然科学基金 (No.KJ2013B009,No.KJ2015A400)

Quantitative Analysis Method of Dynamic Fault Tree of Complex System Using Bayesian Network

FANG Bing-wu^1,2, HUANG Zhi-qiu¹, LI Yong¹, WANG Yong¹

1. College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu 210016, China;
2. Department of Electronics and Information, Anhui Vocational College of Finance and Trade, Hefei, Anhui 230061, China

Received:2015-06-15 Revised:2015-08-26 Online:2016-05-25 Published:2016-05-25

摘要/Abstract

摘要：

动态故障树的贝叶斯网络分析方法存在局部组合爆炸和备件门节点失效时间仅能是指数分布的不足.首先,给出动态故障树转换为离散时间贝叶斯网络的方法,该方法使用一个确定性函数来替代条件概率表,避免了局部组合爆炸.然后,根据备件门的失效机理和对应的贝叶斯网络结构特征,解决了备件节点失效时间仅能是指数分布的限制.最后,提出一种基于动态故障树的贝叶斯网络精确推理算法,基于该算法给出了系统失效分布、组件重要度等概率计算.实验结果表明,该方法能有效地分析和评估安全攸关系统的概率特性.

关键词: 动态故障树, 贝叶斯网络, 定量分析, 安全攸关系统

Abstract:

There exist limitations of local combinatorial explosion and only exponential distribution of spare nodes in Bayesian network(BN)-based dynamic fault tree(DFT) analysis method.First, an approach of mapping DFT into discrete-time BN is proposed in which a deterministic function instead of conditional probability tables is used to avoid local combinatorial explosion.Second, according to the failure mechanism and BN structure of spare door, we remove the limitation that the failure time of spare nodes in BN is only exponential distribution.Finally, an exact inference algorithm of DFT-based BN is presented and based on which the failure distribution of system and the importance measurement of components is calculated.Experimental results show that the proposed method can analyze and evaluate the probability characteristics of safety-critical systems effectively.

Key words: dynamic fault tree, Bayesian network, quantitative analysis, safety-critical system

中图分类号:

TP311

房丙午, 黄志球, 李勇, 王勇. 基于贝叶斯网络的复杂系统动态故障树定量分析方法[J]. 电子学报, 2016, 44(5): 1234-1239.

FANG Bing-wu, HUANG Zhi-qiu, LI Yong, WANG Yong. Quantitative Analysis Method of Dynamic Fault Tree of Complex System Using Bayesian Network[J]. Acta Electronica Sinica, 2016, 44(5): 1234-1239.

参考文献

[1] 黄志球,徐丙凤,阚双龙,等.嵌入式机载软件安全性分析标准、方法及工具研究综述[J].软件学报,2014,25(2):200-218. Huang ZQ,Xu BF,Kan SL,et al.Survey on embedded software safety analysis standards,methods and tools for airborne system[J].Journal of Software,2014,25(2):200-218.(in Chinese)
[2] JB Dugan,SJ Bavuso,MA Boyd.Dynamic fault-tree for fault-tolerant computer systems[J].IEEE Transactions on Reliability,1992,41(3):363-377.
[3] JB Dugan,KJ Sullivan,D Coppit.Developing a low cost high-quality software tool for dynamic fault-tree analysis[J].IEEE Transactions on Reliability,2000,49(1):49-59.
[4] Liudong Xing,Morrissette BA,Dugan JB.Combinatorial reliability analysis of imperfect coverage systems subject to functional dependence[J].IEEE Transactions on Reliability,2014,63(1):367-383.
[5] 徐丙凤,黄志球,胡军,等.一种状态事件故障树的定量分析方法[J].电子学报,2013,41(8):1480-1486. XU Bing-feng,HUANG Zhi-qiu,HU Jun,et al.A method for quantitative analysis of state/event fault tree[J].Acta Electronica Sinica,2013,41(8):1480-1486.(in Chinese)
[6] G Merle,JM Roussel,JJ Lesage,et al.Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events[J].IEEE Transactions on Reliability,2010,59(1):250-261.
[7] Jun Ni,Wencheng Tang,Yan Xing.A simple algebra for fault tree analysis of static and dynamic systems[J].IEEE Transactions on Reliability,2013,62(4):856-872.
[8] Daochuan Ge,Meng Lin,Yanhua Yang,et al.Quantitative analysis of dynamic fault trees using improved sequential binary decision diagrams[J].Reliability Engineering and System Safety,2015,142(10):289-299.
[9] KD Rao,V Gopika,VVSS Rao,et al.Dynamic fault tree analysis using monte carlo simulation in probabilistic safety assessment[J].Reliability Engineering and System Safety,2009,94(4):872-883.
[10] Peican Zhu,Jie Han,Leibo Liu,et al.A stochastic approach for the analysis of fault trees with priority and gates[J].IEEE Transactions on Reliability,2014,63(2):480-495.
[11] Montani S,Portinale L,Bobbio A,et al.RADYBAN:a tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks[J].Reliability Engineering and System Safety,2008,93(7):922-932.
[12] Boudali H,Dugan JB.A discrete-time Bayesian network reliability modeling and analysis framework[J].Reliability Engineering and System Safety,2005,87(3):337-349.
[13] 周忠宝,周经伦,孙权.基于离散时间贝叶斯网络的动态故障树分析方法[J].西安交通大学学报,2007,41(6):732-736. Zhou Zhongbao,Zhou Jinglun,Sun Quan.Dynamic fault tree analysis based on dynamic Bayesian networks[J].Journal of Xian Jiao Tong University,2007,41(6):732-736.(in Chinese)
[14] N Khakzad,F Khan,P Amyotte.Risk-based design of process systems using discrete-time Bayesian networks[J].Reliability Engineering and System Safety,2013,109(1):5-17.
[15] Boudali H,Dugan JB.A continuous-time Bayesian network reliability modeling and analysis framework[J].IEEE Transactions on Reliability,2006,55(1):86-97.
[16] Yan-Feng Li,Hong-Zhong Huang,Yu Liu,et al.A novel dynamic fault tree analysis method[A].The Proceedings of 2013 International Conference on Quality,Reliability,Risk,Maintenance,and Safety Engineering[C].Piscatawa:IEEE,2013.81-84.
[17] Daniele Codetta-Raiteri,Luigi Portinale.Modeling and analysis of dependable systems through generalized continuous time Bayesian networks[A].Reliability and Maintainability Symposium (RAMS),2015 Annual[C].Piscataway:IEEE,2015.1-6.
[18] Xiaopeng Li,Nan Ao,Leilei Wu.The refining reliability modeling method for the satellite system[A].The Proceedings of 201410th International Conference on Reliability Maintainability and Safety[C].Piscataway:IEEE,2014.484-488.
[19] 王桢珍,姜欣,武小悦,等.信息安全风险概率计算的贝叶斯网络模型[J].电子学报,2010,38(2A):18-22. WANG Zhen-zhen,JIANG Xin,WU Xiao-yue,et al.Planning exploitation graph-Bayesian networks model for information security risk frequency measurement[J].Acta Electronica Sinica,2010,38(2A):18-22.(in Chinese)
[20] Koller D,Friedman N.Probabilistic Graphical Models:Principles and Techniques[M].Cambridge:MIT Press,2009.

基于贝叶斯网络的复杂系统动态故障树定量分析方法

Quantitative Analysis Method of Dynamic Fault Tree of Complex System Using Bayesian Network

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

[1]	吕阳, 钱斌, 胡蓉, 张梓琪. 增强人工蜂群算法求解半导体最终测试调度问题[J]. 电子学报, 2021, 49(9): 1708-1715.
[2]	李海, 尚金雷, 孙婷逸, 冯青, 庄子波. 一种基于离散属性BNT的双偏振气象雷达降水粒子分类方法[J]. 电子学报, 2021, 49(3): 619-624.
[3]	谭翔元, 高晓光, 贺楚超. 基于马尔科夫毯约束的最优贝叶斯网络结构学习算法[J]. 电子学报, 2019, 47(9): 1898-1904.
[4]	刘旋, 杨鹏, 董永强. 双结构网络内容共享能力研究[J]. 电子学报, 2018, 46(4): 849-855.
[5]	房丙午, 黄志球, 王勇, 李勇. 基于混合贝叶斯网络的混合系统安全性分析方法[J]. 电子学报, 2017, 45(12): 2896-2902.
[6]	邸若海, 高晓光, 郭志高. 小数据集BN建模方法及其在威胁评估中的应用[J]. 电子学报, 2016, 44(6): 1504-1511.
[7]	邱玉, 赵杰煜, 汪燕芳. 结合运动时序性的人脸表情识别方法[J]. 电子学报, 2016, 44(6): 1307-1313.
[8]	刘钰, 韩峰, 陆希成, 王建国. 电子系统电磁脉冲易损性评估的分层贝叶斯网络模型[J]. 电子学报, 2016, 44(11): 2695-2703.
[9]	徐丙凤, 黄志球, 胡军, 魏欧, 肖芳雄. 一种状态事件故障树的定量分析方法[J]. 电子学报, 2013, 41(8): 1480-1486.
[10]	朱明敏, 刘三阳, 杨有龙. 基于混合方式的贝叶斯网络等价类学习算法[J]. 电子学报, 2013, 41(1): 98-104.
[11]	王洪泊;涂序彦. 一种面向最经济服务流的可视化动态贝叶斯网络模型[J]. 电子学报, 2011, 39(6): 1331-1335.
[12]	王桢珍;姜欣;武小悦;谭旭. 信息安全风险概率计算的贝叶斯网络模型[J]. 电子学报, 2010, 38(2A): 18-22.
[13]	陈雁翔;刘鸣. 基于发音特征的音视频说话人识别鲁棒性的研究[J]. 电子学报, 2010, 38(12): 2920-2924.
[14]	刘琪;李承恕. 多模可重构终端的无线接入管理[J]. 电子学报, 2007, 35(10): 1833-1837.
[15]	张弩云, 李军国, 黄罡, 梅宏, 叶萌, 陈滢. 一种互操作协议性能评估方法[J]. 电子学报, 2006, 34(S1): 2355-2359.