Digraphs and fault trees: a tale of two combinatorial modeling methods

The authors illustrate the similarities and differences of digraph and AND-OR fault tree models and discuss their use together in light of the strengths of each. A theorem is presented with proof that establishes the combinatorial modeling equivalence of digraphs and AND-OR fault trees. An integrated digraph/AND-OR fault tree modeling tool currently under development is described.<
>