Assessment of redundant systems with imperfect coverage by means of binary decision diagrams

Reliability Engineering and System Safety

Volumn 93, Issue 7, 2008, Pages 1025-1035

  Myers, Albert F ^a   Rauzy, Antoine ^b  

^a NORTHROP GRUMMAN CORPORATION   (United States)

^b CNRS   (France)

Author keywords

Binary decision diagrams; Imperfect coverage of redundant systems; k out of n systems

Indexed keywords

ALGORITHMS; COMPUTER SYSTEM RECOVERY; RELIABILITY; SEARCH ENGINES;

FAULT COVERAGE; REDUNDANT SYSTEMS;

BINARY DECISION DIAGRAMS;

EID: 39749093202     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2007.05.002     Document Type: Article

References (15)

1. Amari S.V., and Misra J.B. A seperable method for incorporating imperfect fault-coverage into combinatorial models. IEEE Trans Reliab 48 3 (1999) 267-274
2. Chang Y-R, Amari SV, Kuo S-Y. Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD. In: Proceedings of the 2002 Pacific Rim international symposium on dependable computing. IEEE.
3. Amari S.V., Dugan J.B., and Misra R.B. Optimal reliability of systems subject to imperfect fault-coverage. IEEE Trans Reliab 48 3 (1999) 275-284
4. Doyle S.A., Dugan J.B., and Patterson-Hine F.A. A combinatorial approach to modeling imperfect coverage. IEEE Trans Reliab 44 (1995) 87-94
5. Dugan J.B. Fault tree and imperfect coverage. IEEE Trans Reliab 38 (1989) 177-185
6. Dugan J.B., and Trivedi K.S. Coverage modeling for dependability analysis of fault-tolerant systems. IEEE Trans Reliab 38 (1989) 775-787
7. Myers AF. k-out-of-n:G system reliability with imperfect fault coverage. IEEE Trans Reliab, 2006, to appear.
8. Trivedi K.S. Probability and statistics with reliability, queuing and computer science applications. 2nd ed (2002), Wiley, New York
9. Dutuit Y., and Rauzy A. New insights in the assessment of k-out-of-n and related systems. Reliab Eng Syst Saf 72 3 (2001) 303-314
10. Bryant R. Graph based algorithms for Boolean function manipulation. IEEE Trans Comput 35 8 (1986) 677-691
11. Bryant R. Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Comput Surv 24 (1992) 293-318
12. Brace K, Rudell R, Bryant R. Efficient implementation of a BDD package. In: Proceedings of the 27th ACM/IEEE design automation conference, IEEE 0738; 1990. p. 40-5.
13. Rauzy A. New algorithms for fault trees analysis. Reliab Eng Syst Saf 05 59 (1993) 203-211
14. Rauzy A. Mathematical foundation of minimal cutsets. IEEE Trans Reliab 50 4 (2001) 389-396
15. Dutuit Y., and Rauzy A. Efficient algorithms to assess components and gates importances in fault tree analysis. Reliab Eng Syst Saf 72 2 (2000) 213-222