Quantification of Fault Trees Containing Mutually Exclusive Events

This paper presents a method for analysing fault trees that contain independent sets of mutually exclusive (disjoint) events of different cardinality. Disjoint events can be used to model several issues, e.g. multi-state systems with multistate components, different attack alternatives in se-curity related studies, and components in phased mission systems. Basic events of coherent and non coherent binary trees can be considered as belonging to sets of cardinality 2. Each event is associated with a binary variable, and a labelling technique is used to distinguish the variables belonging to different sets. The proposed analysis method is based on the approach of Binary Decision Diagrams (BDD). The application of the rules for the construction of the BDD is driven by the labels associated with disjoint variables. The BDD is then transformed into a Ternary Decision Diagram (TDD). The TDD represents a very straightforward data structure for performing the probabilistic quantification. The use of the proposed method is clarified with simple examples.JRC.G.7-Traceability and vulnerability assessmen