Combinatorial-models and coverage: a binary decision diagram (BDD) approach

This paper presents the DREDD (Dependability and Risk Analysis using Decision Diagrams) algorithm which incorporates coverage modeling into a BDD solution of a combinatorial model. The DREDD algorithm takes advantage of the efficiency of the BDD solution approach and the increased accuracy afforded by coverage modeling. BDDs have been used to find exact solutions for extremely large systems, including those with as many as 10²⁰ prime implicants. Including coverage in this process will increase the validity of the results, since a more complete model allows for more realistic analysis. The reliability of life critical systems which previously could only be approximated may now be analyzed more accurately