A Logarithmic Binary Decision Diagram-Based Method for Multistate System Analysis

Multistate systems (MSS) are systems in which both the systems, and/or their components may exhibit multiple performance levels or states. MSS can model complex behaviors such as shared loads, performance degradation, imperfect fault coverage, standby redundancy, and limited repair resources. The non-binary state property of MSS, and their components makes the analysis of MSS challenging. In this paper, we propose efficient logarithmically-encoded binary decision diagram (LBDD)-based methods for analysing MSS. The application and advantages of the proposed LBDD-based approaches, as compared to the existing binary decision diagram-based approaches, are demonstrated through the analyses of practical MSS examples, and a set of benchmark examples.

[1]  Rolf Drechsler,et al.  Implementing a multiple-valued decision diagram package , 1998, Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138).

[2]  S. Ross.  Multivalued State Component Systems , 1979 .

[3]  Marsha Chechik,et al.  Data structures for symbolic multi-valued model-checking , 2006, Formal Methods Syst. Des..

[4]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[5]  J. Sethuraman,et al.  Multistate Coherent Systems. , 1978 .

[6]  Richard E. Barlow,et al.  Coherent Systems with Multi-State Components , 1978, Math. Oper. Res..

[7]  Liudong Xing,et al.  MBDD versus MMDD for Multistate Systems Analysis , 2007 .

[8]  Thomas H. Cormen,et al.  Introduction to algorithms [2nd ed.] , 2001 .

[9]  L. Caldarola,et al.  Coherent systems with multistate components , 1980 .

[10]  Liudong Xing.  Efficient Analysis of Systems with Multiple States , 2007, 21st International Conference on Advanced Information Networking and Applications (AINA '07).

[11]  Ming Jian Zuo,et al.  Dominant multi-state systems , 2004, IEEE Transactions on Reliability.

[12]  Kishor S. Trivedi,et al.  A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components , 2003, IEEE Trans. Computers.

[13]  Hoang Pham,et al.  Reliability modeling of multi-state degraded systems with multi-competing failures and random shocks , 2005, IEEE Trans. Reliab..

[14]  Yung-Ruei Chang,et al.  OBDD-based evaluation of reliability and importance measures for multistate systems subject to imperfect fault coverage , 2005, IEEE Transactions on Dependable and Secure Computing.

[15]  Liudong Xing,et al.  A separable ternary decision diagram based analysis of generalized phased-mission reliability , 2004, IEEE Transactions on Reliability.

[16]  Gregory Levitin,et al.  Multi-State System Reliability - Assessment, Optimization and Applications , 2003, Series on Quality, Reliability and Engineering Statistics.

[17]  Liudong Xing,et al.  A New Decision-Diagram-Based Method for Efficient Analysis on Multistate Systems , 2009, IEEE Transactions on Dependable and Secure Computing.

[18]  S. Yang,et al.  Logic Synthesis and Optimization Benchmarks User Guide Version 3.0 , 1991 .

[19]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[20]  W. Griffith.  MULTISTATE RELIABILITY MODELS , 1980 .

[21]  Lin Tan,et al.  iKernel: Isolating Buggy and Malicious Device Drivers Using Hardware Virtualization Support , 2007 .