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

• 科研通信 • 上一篇    下一篇

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

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

  1. 1. 南京航空航天大学计算机科学与技术学院, 江苏南京 210016;
    2. 安徽财贸职业学院电子信息系, 安徽合肥 230061
  • 收稿日期:2015-06-15 修回日期:2015-08-26 出版日期:2016-05-25 发布日期: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-wu1,2, HUANG Zhi-qiu1, LI Yong1, WANG Yong1   

  1. 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:

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

中图分类号: