Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC

Volumn 2002-January, Issue , 2002, Pages 193-200

  Chang, Yung Ruei ^a   Amari, Suprasad V ^b   Kuo, Sy Yen ^a  

^a NATIONAL TAIWAN UNIVERSITY   (Taiwan)

^b Relex Software Corporation   (United States)

Author keywords

Aerospace control; Degradation; Fault tolerant systems; Markov processes; Performance analysis; Power system reliability; Redundancy; Reliability theory; Software performance; Stochastic processes

Indexed keywords

COMPUTATION THEORY; DEGRADATION; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; MARKOV PROCESSES; RANDOM PROCESSES; REDUNDANCY; RELIABILITY; RELIABILITY ANALYSIS; SOFTWARE RELIABILITY; STOCHASTIC SYSTEMS; SYSTEMS ANALYSIS;

AEROSPACE CONTROL; FAULT TOLERANT SYSTEMS; PERFORMANCE ANALYSIS; POWER SYSTEM RELIABILITY; SOFTWARE PERFORMANCE;

RELIABILITY THEORY;

EID: 84948753282     PISSN: 15410110     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PRDC.2002.1185638     Document Type: Conference Paper

References (17)

1. J.D. Murchland, "Fundamental concepts and relations for reliability analysis of multistate systems", Reliability and Fault Tree Analysis, Theoretical and Applied Aspects of System Reliability, SIAM, 1975, pp. 581-618
2. J. Xue and K. Yang, "Dynamic reliability analysis of coherent multi-state systems", IEEE Trans. on Reliability, Vol. 44, Dec. 1995, pp. 683-688
3. G. Levitin, "Incorporating Common-Cause Failure Into Nonrepairable Multistate Series-Parallel System Analysis", IEEE Trans. on Reliability, Vol. 50, No. 4, Dec. 2001, pp. 380-388
4. G. Levitin, A. Lisnianski, H. Beh-Haim, and D. Elmakis, "Redundancy optimization for series-parallel multi-state systems", IEEE Trans. on Reliability, Vol. 47, June 1998, pp. 165-172
5. J. Xue, "On multistate system analysis", IEEE Trans. on Reliability, Vol. R-34, Oct. 1985, pp. 329-337
6. J.B. Dugan, "Fault Tree and Imperfect Coverage", IEEE Trans. on Reliability, Vol. R-38, June 1989, pp. 177-185
7. S.V. Amari, J.B. Dugan, and R.B. Misra, "Optimal Reliability of Systems subject to Imperfect Fault-Coverage", IEEE Trans. on Reliability, Vol. 48, No. 3, Sep. 1999, pp. 275-284
8. S.A. Doyle, J.B. Dugan, F.A. Patterson-Hine, "A combinatorial Approach to Modeling Imperfect Coverage", IEEE Trans. on Reliability, Vol. 44, Mar. 1995, pp. 87-94
9. R.E. Bryant, "Graph-based algorithms for Boolean function manipulation", IEEE Trans. on Computers, Vol. C-35, Aug. 1986, pp. 677-691
10. A. Rauzy, "New algorithms for fault tree analysis", Reliability Engineering and System Safety, Vol. 40, 1993, pp. 203-211
11. R.M. Sinnamon and J.D. Andrews, "Improved efficiency in qualitative fault tree analysis", Quality and Reliability Engineering Int'l., Vol. 13, 1997, pp. 293-298
12. S.V. Amari, J.B. Dugan, and R.B. Misra, "A separable method for incorporating imperfect fault-coverage into combinatorial models", IEEE Trans. on Reliability, Sep. 1999, pp. 267-274
13. J.B. Dugan and K.S. Trivedi, "Coverage modeling for dependability analysis of fault-coverage systems", IEEE Trans. on Computers, Vol. 38, June 1989, pp. 775-787
14. S.Y. Kuo, S.K. Lu, and F.M. Yeh, "Determining Terminal-Pair Reliability Based on Edge Expansion Diagrams Using OBDD", IEEE Trans. on Reliability, Vol. 48, Sep. 1999, pp. 234-246
15. X. Zang, H. Sun, and K.S. Trivedi, "Dependability Analysis of Distributed Computer Systems with Imperfect Coverage", Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, 1999, pp. 330-337
16. X. Zang, H. Sun, and K.S. Trivedi, "A bdd-based algorithm for analysis of multi-state systems with multi-state components", Technical Report, 1998
17. S.V. Amari and R.B. Misra, "Comment on: Dynamic Reliability Analysis of Coherent Multistate Systems", IEEE Trans. on Reliability, Vol. 46, No. 4, Dec. 1997, pp. 460-461