电子学报 ›› 2017, Vol. 45 ›› Issue (12): 2896-2902.DOI: 10.3969/j.issn.0372-2112.2017.12.010

• 学术论文 • 上一篇    下一篇

基于混合贝叶斯网络的混合系统安全性分析方法

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

  1. 1. 南京航空航天大学计算机科学与技术学院, 江苏南京 210016;
    2. 安徽财贸职业学院电子信息系, 安徽合肥 230601
  • 收稿日期:2016-08-21 修回日期:2017-05-08 出版日期:2017-12-25 发布日期:2017-12-25
  • 通讯作者: 黄志球
  • 作者简介:房丙午,男,1974年生于安徽安庆.现为南京航空航天大学计算机科学与技术学院博士研究生,副教授.主要研究方向软件工程、软件系统安全性分析.E-mail:bingwufang@163.com
  • 基金资助:
    国家863高技术研究发展计划(No.2015AA015303);国家自然科学基金(No.61272083,No.61562087);安徽省高校自然科学基金重点项目(No.KJ2017A859);安徽省高校学科(专业)优秀拔尖人才学术资助计划(No.gxbjZD32)

A Novel Safety Analysis Method of Hybrid System on Hybrid Bayesian Network

FANG Bing-wu1,2, HUANG Zhi-qiu1, WANG Yong1, LI 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 230601, China
  • Received:2016-08-21 Revised:2017-05-08 Online:2017-12-25 Published:2017-12-25

摘要: 安全关键系统的安全性分析模型本质上是离散和连续失效分布共存的混合模型.传统的故障树和马尔科夫链分析方法仅能处理离散分布或指数分布的系统,难以对混合系统进行安全性分析.针对该问题,以DFT系统安全模型为基础,提出一种基于混合贝叶斯网络的混合系统安全性分析新方法.首先,利用狄拉克函数和单位阶跃函数分别表示动态故障树节点间的确定性关系和时序关系,将动态故障树转换为贝叶斯网络.然后,通过分段多项式来拟合网络节点的不同失效分布,提出一种kn次多项式混合贝叶斯网络来表示动态故障树.最后,给出该混合贝叶斯网络的推理算法.实验分析表明本方法能有效地进行混合系统安全性分析.

关键词: 混合系统, 动态故障树, 混合贝叶斯网络, 安全性分析

Abstract: The safety analysis model of critical system is essentially a mixed model of both discrete variables and continuous variables.The traditional analysis methods can only deal with the system based on discrete distribution or exponential distribution,so these methods are incapable of analyzing the safety of the hybrid system.To solve the problem,this paper presents a novel safety analysis method of hybrid system on hybrid Bayesian network(HBN).First,by using the Dirac function and unit step function to represent the deterministic relation and timing sequence of nodes in DFT respectively,we convert the DFT into a Bayesian network(BN).Second,The HBN with k-piece and n-degree polynomials is proposed to represent the DFT,in which the different failure distributions of nodes are fitted by piecewise polynomial functions.Finally,the inference algorithm of HBN is proposed.The experimental results show that the presented method can effectively solve the safety analysis of hybrid system.

Key words: hybrid system, dynamic fault tree, hybrid Bayesian network, safety analysis

中图分类号: