Exact combinatorial reliability analysis of dynamic systems with sequence-dependent failures

Abstract Many real-life fault-tolerant systems are subjected to sequence-dependent failure behavior, in which the order in which the fault events occur is important to the system reliability. Such systems can be modeled by dynamic fault trees (DFT) with priority-AND (pAND) gates. Existing approaches for the reliability analysis of systems subjected to sequence-dependent failures are typically state-space-based, simulation-based or inclusion–exclusion-based methods. Those methods either suffer from the state-space explosion problem or require long computation time especially when results with high degree of accuracy are desired. In this paper, an analytical method based on sequential binary decision diagrams is proposed. The proposed approach can analyze the exact reliability of non-repairable dynamic systems subjected to the sequence-dependent failure behavior. Also, the proposed approach is combinatorial and is applicable for analyzing systems with any arbitrary component time-to-failure distributions. The application and advantages of the proposed approach are illustrated through analysis of several examples.

[1]  Liudong Xing,et al.  Incorporating Common-Cause Failures Into the Modular Hierarchical Systems Analysis , 2009, IEEE Transactions on Reliability.

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

[3]  J. Dugan,et al.  Minimal cut set/sequence generation for dynamic fault trees , 2004, Annual Symposium Reliability and Maintainability, 2004 - RAMS.

[4]  Shigeru Yanagi,et al.  Quantitative analysis of a fault tree with priority AND gates , 2008, Reliab. Eng. Syst. Saf..

[5]  Suprasad V. Amari,et al.  A new approach to solve dynamic fault trees , 2003, Annual Reliability and Maintainability Symposium, 2003..

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

[7]  Olexandr Yevkin,et al.  An improved modular approach for dynamic fault tree analysis , 2011, 2011 Proceedings - Annual Reliability and Maintainability Symposium.

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

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

[10]  John Andrews,et al.  New approaches to evaluating fault trees , 1997 .

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

[12]  Krishna B. Misra,et al.  Handbook of Performability Engineering , 2008 .

[13]  D. Coit.  Cold-standby redundancy optimization for nonrepairable systems , 2001 .

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

[15]  Gregory Levitin,et al.  Optimizing survivability of multi-state systems with multi-level protection by multi-processor genetic algorithm , 2003, Reliab. Eng. Syst. Saf..

[16]  Dong Liu,et al.  Quantification of Cut Sequence Set for Fault Tree Analysis , 2007, HPCC.

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

[18]  J. Dugan,et al.  A modular approach for analyzing static and dynamic fault trees , 1997, Annual Reliability and Maintainability Symposium.

[19]  Yves Dutuit,et al.  Approximate estimation of system reliability via fault trees , 2005, Reliab. Eng. Syst. Saf..

[20]  Lawrence F. Shampine,et al.  Analysis and implementation of TR-BDF2 , 1996 .

[21]  Kishor S. Trivedi.  Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .

[22]  Salvatore J. Bavuso,et al.  Dynamic fault-tree models for fault-tolerant computer systems , 1992 .

[23]  J.B. Fussell,et al.  On the Quantitative Analysis of Priority-AND Failure Logic , 1976, IEEE Transactions on Reliability.

[24]  Terry Williams,et al.  Probability and Statistics with Reliability, Queueing and Computer Science Applications , 1983 .

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

[26]  Liudong Xing,et al.  EFEKTYWNA ANALIZA NIEZAWODNOŚCIOWA SYSTEMÓW Z PĘTLAMI ZALEŻNOŚCI FUNKCYJNYCH EFFICIENT RELIABILITY ANALYSIS OF SYSTEMS WITH FUNCTIONAL DEPENDENCE LOOPS , 2009 .

[27]  Luigi Portinale,et al.  Improving the analysis of dependable systems by mapping fault trees into Bayesian networks , 2001, Reliab. Eng. Syst. Saf..

[28]  Takehisa Kohda,et al.  Finding modules in fault trees , 1989 .

[29]  Kishor S. Trivedi,et al.  Markov and Markov reward model transient analysis: An overview of numerical approaches , 1989 .

[30]  Paul W. H. Chung,et al.  An efficient phased mission reliability analysis for autonomous vehicles , 2010, Reliab. Eng. Syst. Saf..

[31]  Ajit Srividya,et al.  Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment , 2009, Reliab. Eng. Syst. Saf..

[32]  Yoshinobu Sato,et al.  Quantification of sequential failure logic for fault tree analysis , 2000, Reliab. Eng. Syst. Saf..

[33]  Joanne Bechta Dugan,et al.  A discrete-time Bayesian network reliability modeling and analysis framework , 2005, Reliab. Eng. Syst. Saf..

[34]  Joanne Bechta Dugan.  Galileo: A Tool for Dynamic Fault Tree Analysis , 2000, Computer Performance Evaluation / TOOLS.

[35]  Clifford Stein,et al.  Introduction to Algorithms, 2nd edition. , 2001 .

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

[37]  A. Jensen,et al.  Markoff chains as an aid in the study of Markoff processes , 1953 .

[38]  A. Rauzy,et al.  Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia , 1997 .