[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.
|