针对扩展动态故障树的约束分析方法
Constraint analysis for extended dynamic fault tree
- 通信学报 2017年38卷第9期 页码：159-166
- 作者机构：
1. 西安电子科技大学网络与信息安全学院，陕西 西安 710071
2. 中国航空工业集团公司西安航空计算技术研究所，陕西 西安 710068
- 作者简介：
[ "吴奇烜（1992-），男，陕西商洛人，西安电子科技大学硕士生，主要研究方向为系统可靠性分析、信息流安全。" ]
[ "马建峰（1963-），男，陕西西安人，西安电子科技大学教授、博士生导师，主要研究方向为密码学、无线和移动安全等。" ]
[ "孙聪（1982-），男，陕西兴平人，博士，西安电子科技大学副教授，主要研究方向为信息流安全、可信软件。" ]
[ "张帅（1990-），男，江苏沛县人，西安电子科技大学硕士生，主要研究方向为大型富媒体系统架构的设计。" ]
[ "张双（1976-），男，陕西汉中人，中国航空工业集团公司西安航空计算技术研究所研究员，主要研究方向为计算机网络与机载信息安全技术。" ]
[ "郑涛（1988-），男，陕西岐山人，中国航空工业集团公司西安航空计算技术研究所工程师，主要研究方向为计算机网络与机载信息安全技术。" ]
- 基金信息：国家自然科学基金资助项目(61303033);国家自然科学基金资助项目(U1405255);国家高技术研究发展计划（“863”计划）基金资助项目(2015AA017203);陕西省自然科学基础研究计划基金资助项目(2016JM6034);航空科学基金资助项目(20141931001);国家科技重大专项基金资助项目(MJ-2014-S-37)
DOI：10.11959/j.issn.1000-436x.2017156
中图分类号： TP311.5-
网络首发：2017-09，
纸质出版：2017-09-25
- 稿件说明：
移动端阅览
吴奇烜, 马建峰, 孙聪, 等. 针对扩展动态故障树的约束分析方法[J]. 通信学报, 2017,38(9):159-166.
Qi-xuan WU, Jian-feng MA, Cong SUN, et al. Constraint analysis for extended dynamic fault tree[J]. Journal on Communications, 2017, 38(9): 159-166.
吴奇烜, 马建峰, 孙聪, 等. 针对扩展动态故障树的约束分析方法[J]. 通信学报, 2017,38(9):159-166. DOI： 10.11959/j.issn.1000-436x.2017156.
Qi-xuan WU, Jian-feng MA, Cong SUN, et al. Constraint analysis for extended dynamic fault tree[J]. Journal on Communications, 2017, 38(9): 159-166. DOI： 10.11959/j.issn.1000-436x.2017156.
摘要
提出延时门机制对动态故障树进行扩展，用于对子系统失效延时传播到上层系统进行建模，并通过扩展动态贝叶斯网络对包含延时门的动态故障树进行求解。还提出并实现了一种基于可满足性模理论的扩展动态故障树求解算法，支持由非确定性的基本事件概率范围约束求解系统的最优化失效率。通过对实际系统的分析、求解及与现有工具的对比，说明分析方法的有效性，并通过对实际系统的分析给出了基本事件概率约束和延时门参数对系统整体失效率的影响。
Abstract
As a new extension of dynamic fault trees
time delay gate was proposed.This new mechanism can be used to model the time delay on the fault propagation from the lower level subsystems to the higher level system.The dynamic Bayesian networks was extend to solve the dynamic fault trees containing time delay gates.An algorithm based on SMT to support the optimized failure distribution under the nondeterministic range constraint of basic events was also proposed.The effectiveness is shown by comparison with existing tools on analyzing and solving real systems
and the effects of range constraints and gate parameter on the failure distribution of systems is illustrated.
关键词
Keywords
references
DUGAN J B , BAVUSO S J , BOYD M A . Dynamic fault-tree models for fault-tolerant computer systems [J ] . IEEE Transactions on Reliability , 1992 , 41 ( 3 ): 363 - 377 .
MO Y C . A multiple-valued decision-diagram-based approach to solve dynamic fault trees [J ] . IEEE Transactions on Reliability , 2014 , 63 ( 1 ): 81 - 93 .
GE D C , LIN M , YANG Y H , et al . Quantitative analysis of dynamic fault trees using improved sequential binary decision diagrams [J ] . Reliability Engineering ＆ System Safety , 2015 : 289 - 299 .
ZHU P C , HAN J , LIU L B . A stochastic approach for the analysis of fault trees with priority AND gates [J ] . IEEE Transactions on Reliability , 2014 , 63 ( 2 ): 480 - 494 .
ZHU P C , HAN J , LIU L B , et al . A stochastic approach for the analysis of dynamic fault trees with spare gates under probabilistic common cause failures [J ] . IEEE Transactions on Reliability , 2015 , 64 ( 3 ): 878 - 892 .
XING L D , MORRISSETTE B A , DUGAN J B . Combinatorial reliability analysis of imperfect coverage systems subject to functional dependence [J ] . IEEE Transactions on Reliability , 2014 , 63 ( 1 ): 367 - 382 .
GUCK D , SPEL J , STOELINGA M , et al . DFTCalc:reliability centered maintenance via fault tree analysis (tool paper) [C ] // International Conference on Formal Engineering Methods . 2015
BÄCKSTRÖM O , BUTKOVA Y , HERMANNS H , et al . Effective static and dynamic fault tree analysis [C ] // International Conference on Computer Safety,Reliability and Security . 2016 : 266 - 280 .
VOLK M , JUNGES S , KATOEN J P . Advancing dynamic fault tree analysis-get succinct state spaces fast and synthesise failure rates [C ] // International Conference on Computer Safety,Reliability,and Security . 2016 : 253 - 265 .
徐丙凤 , 黄志球 , 胡军 , 等 . 一种状态事件故障树的时间特性分析方法 [J ] . 软件学报 , 2015 , 26 ( 2 ): 427 - 446 .
XU B F , HUANG Z Q , HU J , et al . Time property analysis method for state/event fault tree [J ] . Journal of Software , 2015 , 26 ( 2 ): 427 - 446 .
BOBBIO A , RAITERI D C . Parametric fault trees with dynamic gates and repair boxes [C ] // The 2004 Annual Symp on Reliability and Maintainability . 2004 : 459 - 465 .
CODETTA-RAITERI D , . A preliminary application of generalized fault trees to security [C ] // International Conference on Security and Cryptography . 2013 .
CODETTA-RAITERI D , . Generalized fault trees:from reliability to security [C ] // International Workshop on Quantitative Aspects in Security Assurance , 2013 .
BISHOP P , . Does software have to be ultra reliable in safety critical systems [C ] // Computer Safety,Reliability,and Security . Berlin:Springer , 2013 : 118 - 129 .
MONTANI S , PORTINALE L , BOBBIO A . Dynamic Bayesian networks for modeling advanced fault tree features in dependability analysis [C ] // 16th European Conference on Safety and reliability . 2005 : 1415 - 1422 .
MONTANI S , PORTINALE L , BOBBIO A , et al . Automatically translating dynamic fault trees into dynamic bayesian networks by means of a software tool [C ] // First International Conference on Availability,Reliability and Security (ARES'06) . 2006 :6.
YUGE T , YANAGI S . Dynamic fault tree analysis using bayesian networks and sequence probabilities [J ] . IEICE Transactions on Fundamentals of Electronics,Communications and Computer Sciences , 2013 : 953 - 962 .
CODETTA-RAITERI D . Integrating several formalisms in order to increase fault trees' modeling power [J ] . Reliability Engineering ＆System Safety , 2011 , 96 ( 5 ): 534 - 544 .
0
浏览量
1531
下载量
0
CSCD
- 网络PDF下载
- XML下载
- Meta-XML下载
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
关联资源
相关文章
相关作者
相关机构
AI问答- 技术支持由北京北大方正电子有限公司提供 京ICP备09064830号-19
京公网安备11010802024621 - 本系统建议在Chrome、 IE9+ 以上版本浏览器阅读本站内容，360浏览器请切换至极速模式
- Cookies帮助我们提供服务并提供个性化体验。使用本网站，即表示您同意我们使用Cookies
- 总访问量：582505 今日访问量：321