CSDL Home IEEE Transactions on Dependable and Secure Computing 2009 vol.6 Issue No.03 - July-September
Issue No.03 - July-September (2009 vol.6)
Multistate systems can model many practical systems in a wide range of real applications. A distinct characteristic of these systems is that the systems and their components may assume more than two levels of performance (or states), varying from perfect operation to complete failure. The nonbinary property of multistate systems and their components makes the analysis of multistate systems difficult. This paper proposes a new decision-diagram-based method, called multistate multivalued decision diagrams (MMDD), for the analysis of multistate systems with multistate components. Examples show how the MMDD models are generated and evaluated to obtain the system-state probabilities. The MMDD method is compared with the existing binary decision diagram (BDD)-based method. Empirical results show that the MMDD method can offer less computational complexity and simpler model evaluation algorithm than the BDD-based method.
Binary decision diagram, multistate fault tree, multistate system, multistate multivalued decision diagram.
Liudong Xing, Yuanshun Dai, "A New Decision-Diagram-Based Method for Efficient Analysis on Multistate Systems", IEEE Transactions on Dependable and Secure Computing, vol.6, no. 3, pp. 161-174, July-September 2009, doi:10.1109/TDSC.2007.70244