Computing system failure frequencies and reliability importance measures using OBDD

The recent literature showed that, in many cases, ordered binary decision diagram (OBDD)-based algorithms are more efficient in reliability evaluation compared to other methods such as the inclusion-exclusion (I-E) method and the sum of disjoint products (SDP) method. We present algorithms based on OBDD to compute system failure frequencies and reliability importance measures. Methods are presented to calculate both steady-state and time-specific frequencies of system-failure as well as system-success. The reliability importance measures include the Birnbaum importance, the criticality importance, and other indices for the risk evaluation of a system. In addition, we propose an efficient approach based on OBDD to evaluate the reliability of a nonrepairable system and the availability of a repairable system with imperfect fault-coverage mechanisms. The powerful capability of OBDD for reliability evaluation is fully exploited. Further, we extend all of the proposed algorithms to analyze systems with imperfect fault-coverage.

[1]  Roslyn M. Sinnamon,et al.  Fault tree analysis and binary decision diagrams , 1996, Proceedings of 1996 Annual Reliability and Maintainability Symposium.

[2]  Suprasad V. Amari,et al.  A separable method for incorporating imperfect fault-coverage into combinatorial models , 1999 .

[3]  Hoang Pham.  Optimal cost-effective design of triple-modular-redundancy-with-spares systems , 1993 .

[4]  Kishor S. Trivedi,et al.  Uncertainty analysis in reliability modeling , 2001, Annual Reliability and Maintainability Symposium. 2001 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.01CH37179).

[5]  J.M. Nahman,et al.  Failure-Frequency Evaluation of Complex Systems Using Cut-Set Approach , 1981, IEEE Transactions on Reliability.

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

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

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

[9]  Liudong Xing,et al.  Reliability analysis of phased-mission systems with combinatorial phase requirements , 2001, Annual Reliability and Maintainability Symposium. 2001 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.01CH37179).

[10]  Shakil Akhtar,et al.  Reliability of k-out-of-n:G systems with imperfect fault-coverage , 1994 .

[11]  Suprasad V. Amari.  Generic rules to evaluate system-failure frequency , 2000, IEEE Trans. Reliab..

[12]  Hiromitsu Kumamoto,et al.  Probabilistic Risk Assessment and Management for Engineers and Scientists , 1996 .

[13]  Antoine Rauzy,et al.  A new methodology to handle Boolean models with loops , 2003, IEEE Trans. Reliab..

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

[15]  Winfrid G. Schneeweiss,et al.  The Failure Frequency of Systems with Dependent Components , 1986, IEEE Transactions on Reliability.

[16]  J. H. Naylor,et al.  System Reliability Modelling and Evaluation , 1977 .

[17]  Sarah J. Dunnett,et al.  Event-tree analysis using binary decision diagrams , 2000, IEEE Trans. Reliab..

[18]  Roslyn M. Sinnamon,et al.  Improved efficiency in qualitative fault tree analysis , 1997 .

[19]  R. Billinton,et al.  Calculation of frequency, duration, and availability indexes in complex networks , 1999 .

[20]  Suprasad V. Amari,et al.  Optimal reliability of systems subject to imperfect fault-coverage , 1999 .

[21]  W. G. Schneeweiss.  Limited usefulness of BDDs for mean failure frequency calculation , 1996 .

[22]  Joanne Bechta Dugan,et al.  A combinatorial approach to modeling imperfect coverage , 1995 .

[23]  K. Misra.  Reliability Analysis and Prediction: A Methodology Oriented Treatment , 1992 .

[24]  W. Schneeweiss.  Fast fault-tree evaluation for many sets of input data , 1990 .

[25]  J. B. Dugan,et al.  Sensitivity analysis of modular dynamic fault trees , 2000, Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000.

[26]  Joanne Bechta Dugan,et al.  Fault trees and imperfect coverage , 1989 .

[27]  Kishor S. Trivedi,et al.  CHAPTER 2 - Multiple Variable Inversion Techniques , 1993 .

[28]  C. Singh,et al.  Rules for Calculating the Time-Specific Frequency of System Failure , 1981, IEEE Transactions on Reliability.

[29]  Winfrid G. Schneeweiss.  Advanced Fault Tree Modeling , 1999, J. Univers. Comput. Sci..

[30]  S. Kuo,et al.  Determining terminal-pair reliability based on edge expansion diagrams using OBDD , 1999 .

[31]  Hayriye Ayhan,et al.  An approach for computing tight numerical bounds on renewal functions , 1999 .

[32]  Kishor S. Trivedi,et al.  Dependability analysis of distributed computer systems with imperfect coverage , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[33]  C. Singh.  Calculating the Time-Specific Frequency of System Failure , 1979, IEEE Transactions on Reliability.

[34]  R. Dekker,et al.  A simple approximation to the renewal function (reliability theory) , 1990 .