Sensitivity analysis of modular dynamic fault trees

Dynamic fault tree analysis, as currently supported by the Galileo software package, provides an eective means for assessing the reliabil-ity of embedded computer-based systems. Dynamic fault trees extend traditional fault trees by dening special gates to capture sequential and functional dependency characteristics. A modular approach to the solution of dynamic fault trees eectively applies Binary Decision Dia-gram(BDD) and Markov model solution techniques to dierent parts of the dynamic fault tree model. Reliability analysis of a computer-based system tells only part of the story, however. Follow-up questions such as \Where are the weak links in the system?", \How do the results change if my input parameters change? " and \What is the most cost eective way to improve reliability? " require a sensitivity analysis of the reliability analysis. Sensitivity analysis (often called Importance Analysis) is not a new concept, but the calculation of sensitivity mea-sures within the modular solution methodology for dynamic and static fault trees raises some interesting issues. In this paper we address sev-eral of these issues, and present a modular technique for evaluating sensitivity, a single traversal solution to sensitivity analysis for BDD, a simplied methodology for estimating sensitivity for Markov models, and a discussion of the use of sensitivity measures in system design. The sensitivity measures for both the Binary Decision Diagram and Markov approach presented in this paper will be implemented in Galileo, a software package for reliability analysis of complex computer-based systems[15]. 1