Reliability analysis of nonrepairable cold-standby systems using sequential binary decision diagrams

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 42, Issue 3, 2012, Pages 715-726

  Xing, Liudong ^a,b   Tannous, Ola ^b   Dugan, Joanne Bechta ^c  

^a UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA   (China)

^b University of Massachusetts Dartmouth   (United States)

^c University of Virginia   (United States)

Author keywords

Binary decision diagram (BDD); cold standby system; dynamic fault tree (DFT); sequence dependence; sequential BDD (SBDD)

Indexed keywords

ANALYTICAL METHOD; COLD-STANDBY SYSTEM; COMPONENT FAILURES; COMPUTATION TIME; DYNAMIC FAULT TREES; HIGH DEGREE OF ACCURACY; HIGH RELIABILITY; ONLINE COMPONENTS; POWER RESOURCES; REAL-WORLD SYSTEM; RELIABILITY EVALUATION; SEQUENCE DEPENDENCE; SEQUENTIAL BDD (SBDD); SIMULATION-BASED; SIMULATION-BASED METHOD; STANDBY COMPONENTS; STATE-SPACE EXPLOSION; SYSTEM COMPONENTS; SYSTEM RELIABILITY; SYSTEM STRUCTURES; TIME TO FAILURE;

BINARY DECISION DIAGRAMS; COMPUTER SOFTWARE REUSABILITY; FAULT TOLERANCE; REDUNDANCY; RELIABILITY ANALYSIS;

STANDBY POWER SYSTEMS;

EID: 84860209897     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2011.2170415     Document Type: Article

References (25)

1. B. W. Johnson, Design and Analysis of Fault Tolerant Digital Systems. Reading, MA: Addison-Wesley, 1989.
2. W. Kuo and R. Wan, "Recent advances in optimal reliability allocation," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 37, no. 2, pp. 143-156, Mar. 2007.
3. J. B. Dugan and S. A. Doyle, "New results in fault-tree analysis," in Proc. Annu. Reliab. Maintainability Symp. Tutorial Notes, Jan. 1997, pp. 1-23.
4. K. B. Misra, Ed., Handbook of Performability Engineering. London, U.K.: Springer-Verlag, Oct. 2008.
5. J. B. Dugan, S. J. Bavuso, and M. A. Boyd, "Dynamic fault-tree models for fault-tolerant computer systems," IEEE Trans. Rel., vol. 41, no. 3, pp. 363-377, Sep. 1992.
6. W. Long, T. L. Zhang, Y. F. Lu, and M. Oshima, "On the quantitative analysis of sequential failure logic using Monte Carlo method for different distributions," in Proc. Probabilistic Saf. Assessment Manage., 2002, pp. 391-396.
7. H. Boudali and J. B. Dugan, "A discrete-time Bayesian network reliability modeling and analysis framework," Reliab. Eng. Syst. Saf., vol. 87, no. 3, pp. 337-349, Mar. 2005.
8. T. Yuge and S. Yanagi, "Quantitative analysis of a fault tree with priority AND gates," Reliab. Eng. Syst. Saf., vol. 93, no. 11, pp. 1577-1583, Nov. 2008.
9. D. Liu, C. Zhang, W. Xing, R. Li, and H. Li, "Quantification of cut sequence set for fault tree analysis," in Proc. HPCC, vol. 4782, Lecture Notes in Computer Science, 2007, pp. 755-765.
10. J. B. Fussell, E. F. Aber, and R. G. Rahl, "On the quantitative analysis of priority-AND failure logic," IEEE Trans. Rel., vol. R-25, no. 5, pp. 324-326, Dec. 1976.
11. R. Bryant, "Graph based algorithms for Boolean function manipulation," IEEE Trans. Comput., vol. C-35, no. 8, pp. 677-691, Aug. 1986.
12. A. O. Allen, Probability, Statistics and Queuing Theory: With Computer Science Applications, 2nd ed. New York: Academic, 1990.
13. Y. R. Chang, S. V. Amari, and S. Y. Kuo, "OBDD-based evaluation of reliability and importance measures for multistate systems subject to imperfect fault coverage," IEEE Trans. Dependable Secure Comput., vol. 2, no. 4, pp. 336-347, Oct.-Dec. 2005.
14. L. Xing and J. B. Dugan, "Analysis of generalized phased-mission systems reliability, performance and sensitivity," IEEE Trans. Rel., vol. 51, no. 2, pp. 199-211, Jun. 2002.
15. F. Yeh, S. Lu, and S. Kuo, "OBDD-based evaluation of k-terminal network reliability," IEEE Trans. Rel., vol. 51, no. 4, pp. 443-451, Dec. 2002.
16. X. Zang, H. Sun, and K. S. Trivedi, "A BDD-based algorithm for reliability analysis of phased-mission systems," IEEE Trans. Rel., vol. 48, no. 1, pp. 50-60, Mar. 1999.
17. L. Xing, "An efficient binary decision diagrams based approach for network reliability and sensitivity analysis," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 105-115, Jan. 2008.
18. L. Xing, A. Shrestha, L. Meshkat, andW.Wang, "Incorporating commoncause failures into the modular hierarchical systems analysis," IEEE Trans. Rel., vol. 58, no. 1, pp. 10-19, Mar. 2009.
19. A. Reibman, R. Smith, and K. S. Trivedi, "Markov and Markov reward model transient analysis: An overview of numerical approaches," Eur. J. Oper. Res., vol. 40, no. 2, pp. 257-267, May 1989.
20. L. Xing and Y. Dai, "A new decision diagram based method for efficient analysis on multi-state systems," IEEE Trans. Dependable Secure Comput., vol. 6, no. 3, pp. 161-174, Jul.-Sep. 2009.
21. A. Shrestha and L. Xing, "A logarithmic binary decision diagrams-based method for multistate systems analysis," IEEE Trans. Rel., vol. 57, no. 4, pp. 595-606, Dec. 2008.
22. A. Lisnianski and G. Levitin, Multi-State System Reliability: Assessment, Optimization, and Applications, vol. 6, Series of Quality, Reliability, and Engineering Statistics. Singapore: World Scientific, 2003.
23. J. Huang and M. J. Zuo, "Dominant multi-state systems," IEEE Trans. Rel., vol. 53, no. 3, pp. 362-368, Sep. 2004.
24. A. Shrestha, L. Xing, and Y. S. Dai, "Reliability analysis of multistate phased-mission systems with unordered and ordered states," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 4, pp. 625-636, Jul. 2011.
25. S. V. Amari and G. Dill, "Redundancy optimization problem with warmstandby redundancy," in Proc. Annu. Reliab. Maintainability Symp., Jan. 2010, pp. 1-6.