Constraint analysis for extended dynamic fault tree

Qi-xuan WU; Jian-feng MA; Cong SUN; Shuai ZHANG; Shuang ZHANG; Tao ZHENG

doi:10.11959/j.issn.1000-436x.2017156

您当前的位置：

首页 >

文章列表页 >

Constraint analysis for extended dynamic fault tree

Papers | 更新时间：2024-06-05

- Constraint analysis for extended dynamic fault tree
- Journal on Communications Vol. 38, Issue 9, Pages: 159-166(2017)
- 作者机构：
  
  1. 西安电子科技大学网络与信息安全学院，陕西西安 710071
  2. 中国航空工业集团公司西安航空计算技术研究所，陕西西安 710068
- 作者简介：
- 基金信息：
  
  The National Natural Science Foundation of China(61303033);The National Natural Science Foundation of China(U1405255);The Natural Science Basis Research Plan in Shaanxi Province of China(2016JM6034);The Aviation Science Foundation of China(20141931001);The National Science and Technology Major Project of China(MJ-2014-S-37)
- DOI：10.11959/j.issn.1000-436x.2017156
  CLC： TP311.5
- Online First：2017-09，
  
  Published：25 September 2017
- 稿件说明：
移动端阅览
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：

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 .

Views

2170

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Network moving target defense technique based on optimal forwarding path migration

Research of trust evaluation model based on dynamic Bayesian network

Related Author

Cheng LEI

Duo-he MA

Hong-qi ZHANG

Qi HAN

Ying-jie YANG

Hong-quan LIANG

Wei WU

Related Institution

Cryptography Engineering Institute,PLA Information Engineering University

State Key Laboratory of Information Security,Institute of Information Engineering,CAS

Henan Key Laboratory of Information Security

Institute of Information Countermeasure Techniques,Harbin Institute of Technology

Science and Technology on Information Transmission and Dissemination in Communication Networks Laboratory

AI问答

⁰