针对扩展动态故障树的约束分析方法

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

Journal on Communications ›› 2017, Vol. 38 ›› Issue (9): 159-166.doi: 10.11959/j.issn.1000-436x.2017156

• Papers • Previous Articles Next Articles

Constraint analysis for extended dynamic fault tree

Qi-xuan WU¹,Jian-feng MA¹,Cong SUN¹,Shuai ZHANG¹,Shuang ZHANG²,Tao ZHENG²

¹ School of Cyber Engineering,Xidian University,Xi’an 710071,China
² Aeronautical Computing Technique Research Institute,Aviation Industry Corporation of China,Xi’an 710068,China

Revised:2017-03-30 Online:2017-09-01 Published:2017-10-18
Supported by:
The National Natural Science Foundation of China(61303033);The National Natural Science Foundation of China(U1405255);The National High Technol-ogy Research and Development Program of China (863 Program)(2015AA017203);The Natural Science Basis Research Plan in Shaanxi Province of China(2016JM6034);The Aviation Science Foundation of China(20141931001);The Special Research Foundation of MIIT(MJ-2014-S-37)

Abstract

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.

Key words: time delay gate, dynamic fault tree, dynamic Bayesian network, satisfiability modulo theory

CLC Number:

TP311.5

Qi-xuan WU,Jian-feng MA,Cong SUN,Shuai ZHANG,Shuang ZHANG,Tao ZHENG. Constraint analysis for extended dynamic fault tree[J]. Journal on Communications, 2017, 38(9): 159-166.

Figures/Tables 8

门结构	门输出概率计算式
AND	P(AND#=1)=P(A#=1)P(B#=1)
OR	P(OR#=1)=1–(1–P(A#=1))(1–P(B#=1))
PDEP	P(X#=1)=πP(Tr#=1)+P(Tr#=0)(P(X=0)F(Δt,X)+P(X=1))，
	其中，X=A,B
SP	P(B#=1)=(P(A=0)α+P(A=1))P(B=0)F(Δt,B)+P(B=1)
	P(SP#=1)=P(A#=1)P(B#=1)
PAND	P(PAND#=1)=P(PAND=1)+ $\frac{P (A # = 1) + P (A = 1)}{2 (P (B # = 1)}$ –P(B=1))
RB	P(RB#=1)=P(A#=1)–P(RB=1)+P(RB=1)(1–R(Δt,A)P(trigger))
	P(A#=1)=P(A=0)F(Δt,A)+P(RB=1)

References 18

[1]	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.
[2]	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.
[3]	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.
[4]	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.
[5]	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.
[6]	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.
[7]	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
[8]	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.
[9]	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.
[10]	徐丙凤, 黄志球, 胡军 ,等. 一种状态事件故障树的时间特性分析方法[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.
[11]	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.
[12]	CODETTA-RAITERI D , . A preliminary application of generalized fault trees to security[C]// International Conference on Security and Cryptography. 2013.
[13]	CODETTA-RAITERI D , . Generalized fault trees:from reliability to security[C]// International Workshop on Quantitative Aspects in Security Assurance, 2013.
[14]	BISHOP P , . Does software have to be ultra reliable in safety critical systems[C]// Computer Safety,Reliability,and Security. Berlin:Springer, 2013: 118-129.
[15]	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.
[16]	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.
[17]	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.
[18]	CODETTA-RAITERI D . Integrating several formalisms in order to increase fault trees' modeling power[J]. Reliability Engineering ＆System Safety, 2011,96(5): 534-544.

Metrics

Recommended 0

No Suggested Reading articles found!

门结构	门输出概率计算式
	P(RB#=1)=P(A#=1) – P(RB=1) + P(RB=1) ·
RB'	(1 – R(Δt,A)(1 – P(TD#=1))P(trigger))
	P(A#=1)=P(A=0)F(Δt,A) + P(RB=1)
	P(FO₀#=1)=P(A#=1)
TD	P(FO_i#=1)=P(FO_i-1=1)C,0≤i≤n
	P(TD#=1)=P(FO_n#=1)

Constraint analysis for extended dynamic fault tree

RichHTML

PDF

Knowledge

Abstract

Cite this article

share this article

Figures/Tables 8

References 18

Related Articles 2

Metrics

Recommended 0

[1]	Cheng LEI,Duo-he MA,Hong-qi ZHANG,Qi HAN,Ying-jie YANG. Network moving target defense technique based on optimal forwarding path migration [J]. Journal on Communications, 2017, 38(3): 133-143.
[2]	Hong-quan LIANG,Wei WU. Research of trust evaluation model based on dynamic Bayesian network [J]. Journal on Communications, 2013, 34(9): 68-76.