A DYNAMIC FAULT TREE MODEL OF A PROPULSION SYSTEM.pdf

A DYNAMIC FAULT TREE MODEL OF A PROPULSION SYSTEM Hong Xu/Charles L. Brown Department of Electrical and Computer Engineering, University of Virginia Joanne Bechta Dugan/ Charles L. Brown Department of Electrical and Computer Engineering, University of Virginia Leila Meshkat/Jet Propulsion Lab 4800 Oak Grove Drive, Pasadena, CA 91101 SUMMARY/ABSTRACT 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 phased mission system (PMS) is defined as a system whose mission is composed of multiple, consecutive and non-overlapping phases. Generally, the system configuration, failure criteria and component behavior of different phases may be different. Because the system can change configuration and behavior from phase to phase, dependencies arise between the variables representing components in different phases. The Galileo approach to phased-mission system handles phased mission dependencies as well as dependencies arising from common cause failures, complex redundancy management, shared and cold spares, and other functional dependencies. Galileo is a software tool for dynamic fault tree developed by the University of Virginia under contract to NASA. Galileo is available commercially from Exelix (). 1 Copyright ? #### by ASME INTRODUCTION A phased mission system (PMS) is defined as a system whose mission is composed of multiple, consecutive and non-overlapping phases. The reliability of a PMS is defined as the probability that the mission successfully achieves its objectives in all phases. Generally, t