Decision diagram based methods and reliability analysis for k-out-of-n: G systems

Binary k-out-of-n systems are commonly used reliability models in engineering practice. Many authors have extended the concept of k-out-of-n system to multi-state k-out-of-n systems. This paper proposes a binary decision diagram (BDD) based approach for binary k-out-of-n: G system and a multi-state multi-valued decision diagram (MMDD) based approach for multi-state k-out-of-n: G system. BDD and MMDD have been extensively used for representing and manipulating logic functions in many areas, including reliability modeling and analysis. In this paper, patterns of BDD/MMDD for binary/multi-state k-out-of-n: G system are summarized and proved, a two-step algorithmic process is proposed for modeling the BDD/MMDD and three case studies are implemented to demonstrate the presented methods. Complexity analysis shows that the presented method is more computationally efficient than the traditional algorithms for k-out-of-n: G system.

[1]  Kishor S. Trivedi,et al.  A BDD-based algorithm for reliability analysis of phased-mission systems , 1999 .

[2]  Liudong Xing,et al.  Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems , 2010, IEEE Transactions on Reliability.

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

[4]  Jinsheng Huang,et al.  Multi-state k-out-of-n system model and its applications , 2000, Annual Reliability and Maintainability Symposium. 2000 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.00CH37055).

[5]  David W. Coit,et al.  Multi-state component importance analysis using multi-state multi-valued decision diagrams , 2009, 2009 8th International Conference on Reliability, Maintainability and Safety.

[6]  Kailash C. Kapur,et al.  Customer-driven reliability models for multistate coherent systems , 1994 .

[7]  Sheldon B. Akers,et al.  Binary Decision Diagrams , 1978, IEEE Transactions on Computers.

[8]  Gianfranco Ciardo,et al.  Efficient Reachability Set Generation and Storage Using Decision Diagrams , 1999, ICATPN.

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

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

[11]  M. Siegle,et al.  Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains , 1999 .

[12]  R. E. Barlow,et al.  Computing k-out-of-n System Reliability , 1984, IEEE Transactions on Reliability.

[13]  R. Bryant.  Binary decision diagrams and beyond: enabling technologies for formal verification , 1995, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

[14]  Ming Jian Zuo,et al.  Generalized multi-state k-out-of-n: G systems , 2000, IEEE Trans. Reliab..

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

[16]  Hong-Zhong Huang,et al.  A New Ordering Method of Basic Events in Fault Tree Analysis , 2012, Qual. Reliab. Eng. Int..

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

[18]  Hong-Zhong Huang,et al.  A Joint Redundancy and Imperfect Maintenance Strategy Optimization for Multi-State Systems , 2013, IEEE Transactions on Reliability.

[19]  Xizhi Huang.  The generic method of the multistate fault tree analysis , 1984 .

[20]  Chen-Shang Lin,et al.  On the OBDD-Representation of General Boolean Functions , 1992, IEEE Trans. Computers.

[21]  Gregory Levitin,et al.  BDD-based reliability evaluation of phased-mission systems with internal/external common-cause failures , 2013, Reliab. Eng. Syst. Saf..

[22]  David W. Coit,et al.  An Efficient Multistate Multivalued Decision Diagram-Based Approach for Multistate System Sensitivity Analysis , 2010, IEEE Transactions on Reliability.

[23]  Rong-Jaye Chen,et al.  An algorithm for computing the reliability of weighted-k-out-of-n systems , 1994 .