We present a dynamic fault tree model of the benchmark propulsion system, and solve it using Galileo. Dynamic fault trees (DFT) extend traditional static fault trees with special gates to model spares and other sequence dependencies. Galileo solves DFT models using a judicious combination of automatically generated Markov and Binary Decision Diagram models. Galileo easily handles the complexities exhibited by the benchmark problem. In particular, Galileo is designed to model phased mission systems.
A dynamic fault tree model of a propulsion system
8th International Conference on Probabilistic Safety Assessment & Management ; 2006 ; New Orleans, LA, United States
2006-05-14
Conference paper
No indication
English
A Dynamic Fault Tree Model for a Propulsion System (PSAM-0188)
British Library Conference Proceedings | 2006
|Qualitative hazard analysis of propulsion system using fault tree analysis
British Library Conference Proceedings | 2000
|Uncertainty Analysis with Dynamic Fault Tree
British Library Conference Proceedings | 2006
|British Library Conference Proceedings | 2006
|