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

doi:10.3969/j.issn.0372-2112.2017.12.010

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

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

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

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

收稿日期:2016-08-21 修回日期:2017-05-08 出版日期: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-wu^1,2, HUANG Zhi-qiu¹, WANG Yong¹, LI 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 230601, China

Received:2016-08-21 Revised:2017-05-08 Online:2017-12-25 Published:2017-12-25
- Supported by:
- National High-tech R&D Program of China (863 Program) (No.2015AA015303); National Natural Science Foundation of China (No.61272083, No.61562087); Key Program of Natural Science Foundation for Colleges and Universities in Anhui Province (No.KJ2017A859); University Discipline (Major) Top-notch Talent Support Program of Anhui Province (No.gxbjZD32)

摘要/Abstract

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

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

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

中图分类号:

TP311

房丙午, 黄志球, 王勇, 等. 基于混合贝叶斯网络的混合系统安全性分析方法[J]. 电子学报, 2017, 45(12): 2896-2902.

FANG Bing-wu, HUANG Zhi-qiu, WANG Yong, et al. A Novel Safety Analysis Method of Hybrid System on Hybrid Bayesian Network[J]. Acta Electronica Sinica, 2017, 45(12): 2896-2902.

参考文献

[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] 徐丙凤,黄志球,胡军,等.一种状态事件故障树的定量分析方法[J].电子学报,2013,41(8):1480-1486. XU BF,HUANG ZQ,HU J,et al.A method for quantitative analysis of state/event fault tree[J].Acta Electronica Sinica,2013,41(8):1480-1486.(in Chinese)
[3] LIU DX,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.
[4] GE DC,LIN M,YANG YH,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.
[5] WEBER P,et al.Overview on Bayesian networks applications for dependability,risk analysis and maintenance areas[J].Engineering Applications of Artificial Intelligence,2012,25(4):671-682.
[6] LI XP,AO N,WU LL.The refining reliability modeling method for the satellite system[A].Proceedings of the 10th International Conference on Reliability Maintainability and Safety[C].Piscataway:IEEE,2014.484-488.
[7] LI MY,LIU J,LI J,et al.Bayesian modeling of multi-state hierarchical systems with multi-level information aggregation[J].Reliability Engineering and System Safety,2014,124(124):158-164.
[8] 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.
[9] KHAKZAD N,KHAN F.Risk-based design of process systems using discrete-time Bayesian networks[J].Reliability Engineering and System Safety,2013,109(2):5-17.
[10] 房丙午,黄志球,李勇,等.基于贝叶斯网络的复杂系统动态故障树定量分析方法[J].电子学报,2016,44(5):1234-1239. FANG BW,HUANG ZQ,LI Y,et al.Quantitative analysis method of dynamic fault tree of complex system using Bayesian network[J].Acta Electronica Sinica,2016,44(5):1234-1239.(in Chinese)
[11] MORI J,MAHALEC V.Inference in hybrid Bayesian networks with large discrete and continuous domains[J].Expert Systems with Applications,2016,(49):1-19.
[12] MARQUEZ D,NEIL M,FENTON N.Improved reliability modeling using Bayesian networks and dynamic discretization[J].Reliability Engineering and System Safety,2010,95(4):412-425.
[13] 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.
[14] BOUDALI H,DUGAN JB.A continuous-time Bayesian network reliability modeling and analysis framework[J].IEEE Transactions on Reliability,2006,55(1):86-97.
[15] LI YF,HUANG HZ,LIU Y,et al.A novel dynamic fault tree analysis method[A].International Conference on Quality,Reliability,Risk,Maintenance,and Safety Engineering[C].Piscatawa:IEEE,2013.81-84.
[16] DANIELE CR,PORTINALE L.Modeling and analysis of dependable systems through generalized continuous time Bayesian networks[A].Reliability and Maintainability Symposium[C].Piscataway:IEEE,2015.1-6.
[17] SHENOY PP.Two issues in using mixtures of polynomials for inference in hybrid[J].International Journal of Approximate Reasoning,2012,53(5):847-866.
[18] KOLLER D,FRIEDMAN N.Probabilistic graphical models:principles and techniques[M].Cambridge,Massachusetts London:MIT Press,2009.345-378.
[19] NI J,TANG WC,XING Y.A simple algebra for fault tree analysis of static and dynamic systems[J].IEEE Transactions on Reliability,2013,62(4):856-872.

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

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 12

编辑推荐

Metrics

[1]	赵耿, 马英杰, 陈磊, 董有恒, 侯艳丽. 基于扰动时空混沌系统的动态S盒设计[J]. 电子学报, 2022, 50(8): 2037-2042.
[2]	胡文文, 周日贵. 基于d维单个量子态的半量子密钥分发方案[J]. 电子学报, 2022, 50(5): 1025-1032.
[3]	郑秋华, 胡程楠, 崔婷婷, 申延召, 曾英佩, 吴铤. 一种基于概率分析的DHR模型安全性分析方法[J]. 电子学报, 2021, 49(8): 1586-1598.
[4]	欧庆于, 罗芳, 吴晓平, 杨鹏. 基于电压毛刺故障扰动的分组密码安全性度量方法研究[J]. 电子学报, 2021, 49(3): 417-423.
[5]	宋云. 基于GHZ态局域测量的量子秘密共享[J]. 电子学报, 2019, 47(7): 1443-1448.
[6]	吴涛, 景晓军. 一种强不可伪造无证书签名方案的密码学分析与改进[J]. 电子学报, 2018, 46(3): 602-606.
[7]	房丙午, 黄志球, 李勇, 王勇. 基于贝叶斯网络的复杂系统动态故障树定量分析方法[J]. 电子学报, 2016, 44(5): 1234-1239.
[8]	古春生, 景征骏, 于志敏, 吴访升. 基于遍历矩阵的公钥加密方案的安全性分析[J]. 电子学报, 2014, 42(10): 2081-2085.
[9]	徐丙凤, 黄志球, 胡军, 魏欧, 肖芳雄. 一种状态事件故障树的定量分析方法[J]. 电子学报, 2013, 41(8): 1480-1486.
[10]	胡振涛;潘泉;杨峰. 基于广义UT变换的交互式多模型粒子滤波算法[J]. 电子学报, 2010, 38(6): 1443-1448.
[11]	许春香;董庆宽;肖国镇. 矢量空间秘密共享-多重签名方案[J]. 电子学报, 2003, 31(1): 54-58.
[12]	王继成. 基于认知模拟的符号-神经网络系统的研究[J]. 电子学报, 2000, 28(11): 99-101.