Merle G,Roussel J M,Lesage J J.Algebraic determination of the structure functions of dynamic fault trees[J].Reliability Engineering and System Safety,2011,96(2):267-277
[2]
Liu Dong,Xing Weiyan,Zhang Chunyuan,et al.Cut sequence set generation for fault tree analysis//Proceedings of International Conference on Embedded Software and Systems.Daegu,South Korea:, 2007:58-69
[3]
Rauzy A B.Sequence algebra,sequence decision diagrams and dynamic fault trees[J].Reliability Engineering and System Safety,2011,96(7):785-792
[4]
金星,洪延姬.系统可靠性与可用性分析方法[M].北京:国防工业出版社,2007:101 Jin Xing,Hong Yanji.Methods of system reliability and availability analysis[M].Beijing:National Defense Industry Press,2007:101(in Chinese)
[5]
Vesely W E,Stamatelatos M,Dugan J B,et al.Fault tree handbook with aerospace applications[M].Washington DC:NASA Office of Safety and Mission Assurance,2002:157-161
[6]
Minato S.Zero-suppressed BDDs for set manipulation in combinatorial problems//Proceedings of 30th Design Automation Conference (DAC'93).Texas:ACM/IEEE,1993:272-277
[7]
Dugan J B,Bavuso S,Boyd M.Dynamic fault tree models for fault tolerant computer systems[J].IEEE Transactions on Reliability,1992,41(3):363-377
Dugan J B,Bavuso S,Boyd M.Fault trees and Markov models for reliability analysis of fault tolerant systems[J].Reliability Engineering and System Safety,1993,39(3):291-307
[10]
Codetta R D.The conversion of dynamic fault trees to stochastic Petri nets,as a case of graph transformation[J].Electronic Notes in Theoretical Computer Science,2005,127(2):45-60
[11]
Walker M,Papadopoulos Y.Pandora:the time of priority-AND gates//12th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2006).Saint-Etienne,France:IFAC,2006:237-242
[12]
Walker M,Papadopoulos Y.Qualitative temporal analysis:towards a full implementation of the fault tree handbook[J].Control Engineering Practice,2009,17(10):1115-1125
[13]
Merle G.Algebraic modeling of dynamic fault trees,contribution to qualitative and quantitative analysis. Paris:Lurpa,ENS de Cachan,2010
