BDD-based reliability analysis of phased-mission systems with multimode failures

IEEE Transactions on Reliability

Volumn 55, Issue 2, 2006, Pages 350-360

  Tang, Zhihua ^a   Dugan, Joanne Bechta ^a  

^a UNIVERSITY OF VIRGINIA   (United States)

Author keywords

Binary decision diagram (BDD); Dependence algebra; Multimode failure; Phased mission system(PMS); Realibility analysis

Indexed keywords

ALGEBRA; ALGORITHMS; COMPUTATIONAL COMPLEXITY; MATHEMATICAL MODELS;

BINARY DECISION DIAGRAM (BDD); DEPENDENCE ALGEBRA; MULTIMODE FAILURE; PHASED-MISSION SYSTEM (PMS); PHASED-MISSION SYSTEMS; RELIABILITY ANALYSIS;

RELIABILITY THEORY;

EID: 33745193066     PISSN: 00189529     EISSN: None     Source Type: Journal    
DOI: 10.1109/TR.2006.874941     Document Type: Article

References (29)

1. M. Noca, "Next generation ion engines: mission performances," presented at the 28th Int. Electric Propulsion Conf. 2003 March 17-21, 2003, unpublished.
2. J. B. Dugan, "Automated analysis of phased-mission reliability," IEEE Trans. Reliab., vol. 40, pp. 45-52, 1991.
3. M. Smotherman and K. Zemoudeh, "A non-homogeneous Markov model for phased-mission reliability analysis," IEEE Trans. Reliab., vol. 38, pp. 585-590.
4. K. Kim and K. S. Park, "Phased-mission system reliability under Markov environment," IEEE Trans. Reliab., vol. 43, pp. 301-309, 1994.
5. I. Mura, A. Bondavalli, X. Zang, and K. S. Trivedi, "Dependability modeling and evaluation of phased mission systems: a DSPN approach," in Proc. Dependable Computing for Critical Applications (DCCA) 7, 1999, pp. 299-318.
6. A. Bondavalli, S. Chiaradonna, F. D. Giandomenico, and I. Mura, "Dependability modeling and evaluation of multiple-phased systems using DEEM," IEEE Trans. Reliab., vol. 53, pp. 509-522, 2004.
7. A. K. Somani and K. S. Trivedi, "Phased-mission systems using Boolean algebraic methods," Performance Evaluation Review: Proc. 1994 ACM SIGMETRICS Conf., vol. 22, no. 1, pp. 98-107, 1994.
8. Y. Ma and K. S. Trivedi, "An algorithm for reliability analysis of phased-mission systems," Reliability Engineering and System Safety, vol. 66, no. 2, pp. 157-170, 1999.
9. X. Zang, H. Sun, and K. S. Trivedi, "A BDD-based algorithm for reliability evaluation of phased mission systems," IEEE Trans. Reliab., vol. 48, pp. 50-60, 1999.
10. L. Xing and J. B. Dugan, "Analysis of generalized phased mission system reliability, performance and sensitivity," IEEE Trans. Reliab., vol. 51, pp. 199-221, June 2002.
11. L. Xing and J. B. Dugan, "Reliability analysis of static phased-mission systems with imperfect coverage," in Proc. of the Second Int. Conf. on Mathematical Methods in Reliability (MMR'2000), Bordeaux, France, July 2000.
12. L. Xing and J. B. Dugan, "A separable ternary decision diagram based analysis of generalized phased-mission reliability," IEEE Trans. Reliab., vol. 53, pp. 174-184, June 2004.
13. L. Xing, "Phased-mission reliability and safety in the presence of common-cause failures," in Proc. of the 21st Int. System Safety Conf. (ISSC'2003), Ottawa, Ontario, Canada, August 2003.
14. Z. Tang, H. Xu, and J. B. Dugan, "Reliability analysis of phased-mission systems with common cause failures," in Proc. of the Annu. Reliability and Maintainability Symposium (RAMS'2005), January 2005.
15. J. D. Murchland, "Fundamental concepts and relations for reliability analysis of multistate systems," in Reliability and Fault Tree Analysis, Theoretical and Applied Aspects of System Reliability. SIAM, 1975, pp. 581-618.
16. J. Xue, "On multistate system analysis," IEEE Trans. Reliab., vol. R-34, pp. 329-337, Oct. 1985.
17. M. Veeraraghavan and K. S. Trivedi, "Combinatorial algorithm for performance and reliability analysis using multistate models," IEEE Trans. Computers, vol. 43, no. 2, pp. 229-234, 1994.
18. J. Xue and K. Yang, "Dynamic reliability analysis of coherent multistate systems," IEEE Trans. Reliab., vol. 44, pp. 683-688, Dec. 1995.
19. X. Zang, D. Wang, H. Sun, and K. S. Trivedi, "A BDD-based algorithm for analysis of multistate systems with multistate components," IEEE Trans. Computers, vol. 52, no. 12, pp. 1608-1618, 2003.
20. R. Bryant, "Graph based algorithms for Boolean function manipulation," IEEE Trans. Computers, vol. C-35, no. 8, pp. 677-691, 1986.
21. C. E. Shannon, "A symbolic analysis of relay and switching circuits," Transactions of the AIEE, vol. 57, pp. 713-723, 1938.
22. R. Bryant, "Symbolic Boolean manipulation with ordered binary decision diagrams," ACM Computing Surveys, vol. 24, no. 3, pp. 293-318, 1992.
23. L. Caldarola, "Coherent systems with multistate components," Nuclear Engineering and Design, vol. 58, pp. 127-139, 1980.
24. A. P. Wood, "Multistate block diagrams and fault trees," IEEE Trans. Reliab., vol. R-34, pp. 236-240, 1985.
25. X. Zang, H. Sun, and K. S. Trivedi, "Dependability analysis of distributed computer systems with imperfect coverage," in Proc. 29th International Symposium on Fault-Tolerant Computing, June 1999, pp. 330-337.
26. J. D. Esary and H. Ziehms, "Reliability analysis of phased missions," in Proc. Conf. Reliability and Fault Tree Analysis, 1975, pp. 213-236.
27. J. B. Dugan and S. A. Doyle, "New results in fault tree analysis," presented at the Annual Reliability and Maintainability Symposium, January 1996, unpublished.
28. L. Xing and J. B. Dugan, "Comments on PMS BDD generation in 'a BDD-based algorithm for reliability analysis of phased-mission system' [2]," IEEE Trans. Reliab., vol. 53, pp. 169-173, June 2004.
29. Z. Tang, "Dependent Failure Analysis Using Combinatorial Models," Ph.D. Dissertation, Department of Electrical and Computer Engineering, University of Virginia, August 2005.