Recursive Algorithm for Reliability Evaluation of Non-Repairable Phased Mission Systems With Binary Elements

Many practical systems are phased-mission systems (PMS), where the mission consists of multiple, consecutive, and non-overlapping phases of operation. An accurate reliability analysis of a PMS must consider the statistical dependencies of component states across phases, as well as dynamics in system configurations, success criteria, and component behavior. In this paper, we propose a method for exact reliability evaluation of arbitrary binary or multi-state PMS consisting of non-identical binary non-repairable elements. The method is invariant to changes in system structure and demand among missions, and takes into account the time-varying and phase-dependent failure rates and associated cumulative damage effects. The proposed method is based on conditional probabilities, and an efficient recursive formula to compute these probabilities based on branch and bound. The main advantage of this method is that it does not require composition of decision diagrams, and can be fully automated. The method is illustrated using both an analytical example, and a numerical example.

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

[2]  Pham Hoang,et al.  Tampered Failure Rate Load-Sharing Systems: Status and Perspectives , 2008 .

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

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

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

[6]  S. Amari,et al.  Reliability Analysis of kout-of-n Systems with Phased-Mission Requirements , 2011 .

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

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

[9]  M. Smotherman,et al.  A non-homogeneous Markov model for phased-mission reliability analysis , 1989 .

[10]  A. Rauzy,et al.  BDD BASED FAULT-TREE PROCESSING : A COMPARISON OF VARIABLE ORDERING HEURISTICS , .

[11]  Joanne Bechta Dugan,et al.  Modular solution of dynamic multi-phase systems , 2004, IEEE Transactions on Reliability.

[12]  R. Bryant Graph-Based Algorithms for Boolean Function Manipulation12 , 1986 .

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

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

[15]  Liudong Xing,et al.  Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems , 2010, 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]  James A. Ritcey,et al.  Computationally-efficient phased-mission reliability analysis for systems with variable configurations , 1992 .

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

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

[20]  R. Bergman,et al.  Reliability analysis of k-out-of-n load-sharing systems , 2008, 2008 Annual Reliability and Maintainability Symposium.

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

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

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

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

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

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