This Article 
 Bibliographic References 
 Add to: 
A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components
December 2003 (vol. 52 no. 12)
pp. 1608-1618

Abstract—In this paper, a new algorithm based on Binary Decision Diagram (BDD) for the analysis of a system with multistate components is proposed. Each state of a multistate component is represented by a Boolean variable, and a multistate system is represented by a series of multistate fault trees. A Boolean algebra with restrictions on variables is used to address the dependence among these Boolean variables that collectively represent the same component and a new BDD operation is proposed to realize this Boolean algebra. Due to the nature of the BDD, the sum of disjoint products (SDP) can be implicitly represented, which avoids huge storage and high computational complexity for large multistate systems. Some applications are given to illustrate the use of our new algorithm.

[1] R.E. Barlow and A.S. Wu, Coherent Systems with Multi-State Components Math. Operations Research, vol. 3, no. 4, pp. 275-281, 1978.
[2] M. Bouissou, An Ordering Heuristic for Building Binary Decision Diagrams from Fault-Trees Proc. Ann. Reliability and Maintainability Symp., pp. 208-214, 1996.
[3] K.S. Brace, R.L. Rudell, and R.E. Bryant, Efficient Implementation of a BDD Package Proc. Design Automation Conf., pp. 40-45, 1990.
[4] R.E. Bryant, "Graph-Based Algorithms for Boolean Function Manipulation," IEEE Trans. Computers, Vol. C-35, No. 8, Aug. 1986, pp. 667-690.
[5] L. Caldarola, Coherent Systems with Multistate Components Nuclear Eng. and Design, vol. 58, pp. 127-139, 1980.
[6] O. Coudert and J.C. Madre, Metaprime: An Interactive Fault-Tree Analyzer IEEE Trans. Reliability, vol. 43, no. 1, pp. 121-127, 1994.
[7] S.A. Doyle and J.B. Dugan, Dependability Assessment Using Binary Decision Diagrams Proc. 25th Int'l Symp. Fault-Tolerant Computing, pp. 249-258, 1995.
[8] E. El-Neweihi, F. Proschan, and J. Sethuraman, Multisate Coherent Systems J. Applied Probability, vol. 15, pp. 675-688, 1978.
[9] W.S. Griffith, Multistate Reliability Models J. Applied Probability, vol. 17, pp. 735-744, 1980.
[10] B. Lin, O. Coudert, and J.C. Madre, Symbolic Prime Generation for Multiple-Valued Functions Proc. 29th ACM/IEEE Design Automation Conf., pp. 40-44, 1992.
[11] S. Malik, A.R. Wang, R.K. Brayton, and A. Sangiovanni-Vincentelli, Logic Verification Using Binary Decision Diagrams in a Logic Synthesis Environment Proc. IEEE Int'l Conf. Computer-Aided Design (ICCAD-88), pp. 6-9, 1988.
[12] A. Rauzy, New Algorithms for Fault Tree Analysis Reliability Eng. and System Safety, vol. 40, pp. 203-211, 1993.
[13] S.M. Ross, Multivalued State Component Systems Annals of Probability, vol. 7, no. 2, pp. 379-383, 1979.
[14] W. Schneeweiss, Better Fault Tree Analysis via Sequential Modularization Proc. 1997 ESREL Conf., pp. 2039-2044, 1997.
[15] R.M. Sinnamon and J.D. Andrews, Improved Accuracy in Quantitative Fault Tree Analysis Quality and Reliability Eng. Int'l, vol. 13, pp. 285-292, 1997.
[16] R.M. Sinnamon and J.D. Andrews, Improved Efficiency in Qualitative Fault Tree Analysis Quality and Reliability Eng. Int'l, vol. 13, pp. 293-298, 1997.
[17] M. Veeraraghavan and K.S. Trivedi, Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models IEEE Trans. Computers, vol. 43, no. 2, pp. 229-234, Feb. 1994.
[18] A.P. Wood, Multistate Block Diagrams and Fault Trees IEEE Trans. Reliability, vol. 34, pp. 236-240, 1985.
[19] K. Yu, I. Koren, and Y. Guo, Generalized Multistate Monotone Coherent Systems IEEE Trans. Reliability, vol. 43, no. 2, pp. 242-250, 1994.

Index Terms:
Binary Decision Diagram (BDD), blocking probability, multistate component, multistate fault tree, multistate system.
Xinyu Zang, Dazhi Wang, Hairong Sun, Kishor S. Trivedi, "A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components," IEEE Transactions on Computers, vol. 52, no. 12, pp. 1608-1618, Dec. 2003, doi:10.1109/TC.2003.1252856
Usage of this product signifies your acceptance of the Terms of Use.