| | This Article | |
| |
| |
| | Share | |
| |
| |
| | Bibliographic References | |
| |
| |
| | Add to: | |
| |
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
| |
| | Search | |
| |
| |
| | |
Computing System Failure Frequencies and Reliability Importance Measures Using OBDD
January 2004 (vol. 53 no. 1)
pp. 54-68
Abstract—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. This paper presents 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 discussed in this paper 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 in this paper. Further, we extend all of the proposed algorithms in this paper to analyze systems with imperfect fault-coverage.
[1] 54 A. Rauzy, A New Methodology to Handle Boolean Models with Loops IEEE Trans. Reliability, vol. 52, no. 1, pp. 96-105, Mar. 2003.[2] J.D. Andrews and S.J. Dunnett, Event-Tree Analysis Using Binary Decision Diagrams IEEE Trans. Reliability, vol. 49, pp. 230-338, June 2000.[3] S.Y. Kuo, S.K. Lu, and F.M. Yeh, Determining Terminal-Pair Reliability Based on Edge Expansion Diagrams Using OBDD IEEE Trans. Reliability, vol. 48, pp. 234-246, Sept. 1999.[4] W.G. Schneeweiss, The Fault Tree Method. Hagen: LiLoLe-Verlag, 1999.[5] L. Xing and J.B. Dugan, Reliability Analysis of Phased-Mission Systems with Combinatorial Phase Requirements Proc. Ann. Reliability and Maintainability Symp. (RAMS '01), pp. 344-351, 2001.[6] L. Xing and J.B. Dugan, Analysis of Generalized Phased-Mission Systems Reliability, Performance, and Sensitivity IEEE Trans. Reliability, pp. 199-211, June 2002.[7] X. Zang, H. Sun, and K.S. Trivedi, Dependability Analysis of Distributed Computer Systems with Imperfect Coverage Proc. 29th Ann. Int'l Symp. Fault-Tolerant Computing (FTCS-29), pp. 330-337, 1999.[8] H. Kumamoto and E.J. Henley, Probabilistic Risk Assessment and Management for Engineers and Scientists, second ed. IEEE Press, 1996.[9] K.B. Misra, Reliability Analysis and Prediction: A Methodology Oriented Treatment. Elsevier, 1992.[10] M. Veeraraghavan and K.S. Trivedi, Multiple Variable Inversion Techniques New Trends in System Reliability Evaluation, K.B. Misra, ed., pp. 39-74, Elsevier, 1993.[11] K.H. Kim, J. Liu, and M.H. Kim, "Deadline Handling in Real-Time Distributed Objects," Proc. ISORC 2000, IEEE CS Press, Los Alamitos, Calif., Mar. 2000, pp. 7-15.[12] R. Billinton and S. Jonnavithula, Calculation of Frequency, Duration, and Availability Indexes in Complex Network IEEE Trans. Reliability, vol. 48, pp. 25-30, Mar. 1999.[13] C. Singh, Calculating the Time-Specific Frequency of System Failure IEEE Trans. Reliability, vol. 28, pp. 124-126, June 1979.[14] C. Singh, Rules for Calculating the Time-Specific Frequency of System Failure IEEE Trans. Reliability, vol. 30, pp. 364-366, Oct. 1981.[15] C. Singh and R. Billinton, System Reliability Modelling and Evaluation. Hutchinson&Co., 1977.[16] W.G. Schneeweiss, Limited Usefulness of BDDs for Mean Failure Frequency Calculation J. Automatic Control Production Systems, pp. 1131-1136, 1996.[17] W.G. Schneeweiss, Advanced Fault Tree Modeling J. Universal Computer Science, vol. 5, pp. 633-643, 1999.[18] W.G. Schneeweiss, Fast Fault-Tree Evaluation for Many Sets of Input Data IEEE Trans. Reliability, vol. 39, pp. 296-300, Aug. 1990.[19] R. Sinnamon and J.D. Andrews, Fault Tree Analysis and Binary Decision Diagrams Proc. Ann. Reliability and Maintainability Symp. (RAMS '96), pp. 215-222, Jan. 1996.[20] W.G. Schneeweiss, The Failure Frequency of Systems with Dependent Components IEEE Trans. Reliability, vol. 35, pp. 512-517, Dec. 1986.[21] S.V. Amari, J.B. Dugan, and R.B. Misra, A Separable Method for Incorporating Imperfect Fault-Coverage into Combinatorial Models IEEE Trans. Reliability, pp. 267-274, Sept. 1999.[22] S.A. Doyle, J.B. Dugan, and F.A. Patterson-Hine, A Combinatorial Approach to Modeling Imperfect Coverage IEEE Trans. Reliability, vol. 44, pp. 87-94, Mar. 1995.[23] R.E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation IEEE Trans. Computers, vol. 35, no. 8, pp. 677-691, Aug. 1986.[24] A. Rauzy, New Algorithms for Fault Tree Analysis Reliability Eng. and System Safety, vol. 40, pp. 203-211, 1993.[25] R.M. Sinnamon and J.D. Andrews, Improved Efficiency in Qualitative Fault Tree Analysis Quality and Reliability Eng. Int'l, vol. 13, pp. 293-298, 1997.[26] J.M. Nahman, Failure-Frequency Evaluation of Complex Systems Using Cut-Set Approach IEEE Trans. Reliability, vol. 30, pp. 353-355, Oct. 1981.[27] J.B. Dugan, Fault Trees and Imperfect Coverage IEEE Trans. Reliability, vol. 38, no. 2, pp. 177-185, 1989.[28] H. Pham, Optimal Cost-Effective Design of Triple-Modular-Redundancy-with-Spares Systems IEEE Trans. Reliability, vol. 42, pp. 369-374, Sept. 1993.[29] S.V. Amari, J.B. Dugan, and R.B. Misra, Optimal Reliability Design of Systems Subject to Imperfect Coverage IEEE Trans. Reliability, pp. 275-284, Sept. 1999.[30] J. B. Dugan and K. S. Trivedi,“Coverage modeling for dependability analysis of fault-tolerant systems,” IEEE Trans. on Computers, vol. 38, no. 6, pp. 775-787, June 1989.[31] S. Akhtar, Reliability ofk-out-of-n:G Systems with Imperfect Fault-Coverage IEEE Trans. Reliability, vol. 43, pp. 101-106, Mar. 1994.[32] L. Yin, M.A.J. Smith, and K.S. Trivedi, Uncertainty Analysis in Reliability Modeling Proc. Ann. Reliability and Maintainability Symp. (RAMS '01), pp. 229-234, 2001.[33] H. Ayhan, J. Limon-Robles, and M. Wortman, An Approach for Computing Tight Numerical Bounds on Renewal Functions IEEE Trans. Reliability, vol. 39, pp. 182-188, June 1999.[34] E. Smeitink and R. Dekker, A Simple Approximation to Renewal Function IEEE Trans. Reliability, vol. 39, pp. 71-75, Apr. 1990.[35] Y. Ou and J.B. Dugan, Sensitivity Analysis of Modular Dynamic Fault Trees Proc. Computer Performance and Dependability Symp. (IPDS '00), pp. 35-43, 2000.
Index Terms:
Failure frequency, reliability importance measure, BDD, imperfect coverage, system availability, fault tolerance.
Citation:
Yung-Ruei Chang, Suprasad V. Amari, Sy-Yen Kuo, "Computing System Failure Frequencies and Reliability Importance Measures Using OBDD," IEEE Transactions on Computers, vol. 53, no. 1, pp. 54-68, Jan. 2004, doi:10.1109/TC.2004.1255790