A Multiple-Valued Decision Diagram Based Method for Efficient Reliability Analysis of Non-Repairable Phased-Mission Systems

Many practical systems are phased-mission systems (PMSs), where the mission consists of multiple, consecutive, and non-overlapping phases of operation. An accurate reliability analysis of a PMS must consider statistical dependence of component states across phases, as well as dynamics in system configurations, success criteria, and component behavior. This paper proposes a new method based on multiple-valued decision diagrams (MDDs) for the reliability analysis of a non-repairable binary-state PMS. Due to its multi-valued logic nature, the MDD model has recently been applied to the reliability analysis of multistate systems. In this work, we present a novel way to adapt MDDs for the reliability analysis of systems with multiple phases. Examples show how the MDD models are generated and evaluated to obtain the mission reliability measures. Performance of the MDD-based method is compared with an existing binary decision diagram (BDD)-based method for PMS analysis. Empirical results show that the MDD-based method can offer lower computational complexity as well as a simpler model construction and improved evaluation algorithms over those used in the BDD-based method.

[1]  Huawen Liu,et al.  Depth-First Event Ordering in BDD-Based Fault Tree Analysis , 2013 .

[2]  Daniel P. Siewiorek,et al.  Mission reliability analysis of fault-tolerant multiple-phased systems , 2008, Reliab. Eng. Syst. Saf..

[3]  Huawen Liu,et al.  Efficient Ordering Heuristics in Binary Decision Diagram-based Fault Tree Analysis , 2013, Qual. Reliab. Eng. Int..

[4]  James Daniel. Esary,et al.  Reliability analysis of phased missions. , 1975 .

[5]  Olivier Coudert,et al.  Fault Tree Analysis: 1020 Prime Implicants and Beyond , 1993 .

[6]  Glenn Dill,et al.  A new method for reliability analysis of standby systems , 2009, 2009 Annual Reliability and Maintainability Symposium.

[7]  Liudong Xing,et al.  Reliability Evaluation of Phased-Mission Systems With Imperfect Fault Coverage and Common-Cause Failures , 2007, IEEE Transactions on Reliability.

[8]  Herbert S. Winokur,et al.  Analysis of Mission-Oriented Systems , 1969 .

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

[10]  John D. Andrews,et al.  Choosing a heuristic for the "fault tree to binary decision diagram" conversion, using neural networks , 2002, IEEE Trans. Reliab..

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

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

[13]  Antoine Rauzy,et al.  New algorithms for fault trees analysis , 1993 .

[14]  Yuchang Mo Variable Ordering to Improve BDD Analysis of Phased-Mission Systems With Multimode Failures , 2009, IEEE Transactions on Reliability.

[15]  James A. Ritcey,et al.  Computationally-efficient phased-mission reliability analysis for systems with variable configurations , 1992 .

[16]  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).

[17]  Andrea Bondavalli,et al.  Dependability modeling and evaluation of multiple-phased systems using DEEM , 2004, IEEE Transactions on Reliability.

[18]  Andrea Bondavalli,et al.  Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability , 2001, IEEE Trans. Computers.

[19]  Yuchang Mo,et al.  New Insights Into the BDD-Based Reliability Analysis of Phased-Mission Systems , 2009, IEEE Transactions on Reliability.

[20]  Joanne Bechta Dugan,et al.  BDD-based reliability analysis of phased-mission systems with multimode failures , 2006, IEEE Transactions on Reliability.

[21]  Liudong Xing,et al.  Reliability of Phased-mission Systems , 2008 .

[22]  Liudong Xing,et al.  Reliability Analysis of Multistate Phased-Mission Systems With Unordered and Ordered States , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[23]  J. L. Bricker A Unified Method for Analyzing Mission Reliability for Fault Tolerant Computer Systems , 1973 .

[24]  Liudong Xing,et al.  An overview of the phase-modular fault tree approach to phased mission system analysis , 2003 .

[25]  Liudong Xing,et al.  Analysis of generalized phased-mission system reliability, performance, and sensitivity , 2002, IEEE Trans. Reliab..

[26]  Liudong Xing,et al.  Reliability Analysis of Nonrepairable Cold-Standby Systems Using Sequential Binary Decision Diagrams , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[27]  V.V.S. Sarma,et al.  Phased-Mission Analysis for Evaluating the Effectiveness of Aerospace Computing-Systems , 1981, IEEE Transactions on Reliability.

[28]  Sofia Cassel,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 2012 .