MDD-Based Method for Efficient Analysis on Phased-Mission Systems With Multimode Failures

Many practical systems are phased-mission systems with multimode failures (MFPMSs) where the mission consists of multiple nonoverlapping phases of operation, and the system components may assume more than one failure mode. In MFPMSs, dependence arises among different phases and among different failure modes of the same component, which makes the reliability analysis of MFPMSs difficult. This paper proposes a new analytical method based on multivalued decision diagrams (MDDs) for the reliability analysis of nonrepairable MFPMSs. MDDs have recently been applied to the reliability analysis of single-phase systems with multiple component states. In this paper, we make the new contribution by proposing a novel way to adapt MDDs for the reliability analysis of systems with multiple phases and multimode failures. 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 MFPMS analysis through several examples and a comprehensive benchmark study. Empirical results show that the proposed MDD-based method can offer lower computational complexity and simpler model construction and evaluation algorithms than the BDD-based method, and it can be effectively applied to large practical cases.

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

[2]  C. H. Lie,et al.  Simulation Model of Mission Effectiveness for Military Systems , 1978, IEEE Transactions on Reliability.

[3]  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.

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

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

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

[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]  M. Smotherman,et al.  A non-homogeneous Markov model for phased-mission reliability analysis , 1989 .

[10]  Joanne Bechta Dugan.  Automated analysis of phased-mission reliability , 1991 .

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

[12]  Liudong Xing,et al.  Generalized imperfect coverage phased-mission analysis , 2002, Annual Reliability and Maintainability Symposium. 2002 Proceedings (Cat. No.02CH37318).

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

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

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

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

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

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

[19]  D. Michael Miller.  Multiple-valued logic design tools , 1993, [1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic.

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

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

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

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

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

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

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

[27]  Liudong Xing,et al.  Dependability modeling and analysis of hierarchical computer-based systems , 2002 .

[28]  Kishor S. Trivedi,et al.  Boolean Algebraic Methods for Phased-Mission System Analysis. , 1997 .

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

[30]  M. Noca.  Next generation ion engines: mission performances , 2003 .

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

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

[33]  Kishor S. Trivedi,et al.  Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems , 1989, IEEE Trans. Computers.