A Generalized Multiple-Valued Decision Diagram for Reliability Analysis of Fault-Tolerant Systems

Binary Decision Diagrams (BDDs) and their exten-sions multiple-valued decision diagrams (MDDs) have been adapted for reliability analysis of fault tolerant systems. Par-ticularly, the MDDs are used to solve traditional coveragemodels (CMs) where an uncovered component failure maylead to system failure without constraint. This paper presentsa new family of decision diagrams, generalized multiple-valued decision diagrams (GMDDs) for the latest irrelevancy coverage model (ICM). In contrast to traditional CMs, the ICM can detect and isolate components whenever they become irrelevantdue to the failures of other components, and thus an uncovered component failure can only lead to system failure with the constraint when the component is relevant. Compared with the traditional MDD approach, the GMDD can handle constraineduncovered component failures, and it can incorporate general imperfect fault coverage modelling, including the ICM and traditional CMs.