Exact combinatorial reliability analysis of dynamic systems with sequence-dependent failures

Reliability Engineering and System Safety

Volumn 96, Issue 10, 2011, Pages 1375-1385

  Xing, Liudong ^a,b   Shrestha, Akhilesh ^c   Dai, Yuanshun ^a,d  

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

^b University of Massachusetts Dartmouth   (United States)

^c ARCON CORPORATION   (United States)

^d University of Tennessee   (United States)

Author keywords

Dynamic fault tree; Priority AND gate; Reliability; Sequence dependence; Sequential binary decision diagram

Indexed keywords

ANALYTICAL METHOD; ANALYZING SYSTEM; BINARY DECISION; COMPUTATION TIME; DYNAMIC FAULT TREES; FAILURE BEHAVIORS; FAULT EVENT; FAULT-TOLERANT SYSTEMS; HIGH DEGREE OF ACCURACY; PRIORITY-AND GATE; SEQUENCE DEPENDENCE; SEQUENCE-DEPENDENT; SIMULATION-BASED; STATE-SPACE EXPLOSION; SYSTEM RELIABILITY; TIME TO FAILURE;

BINARY DECISION DIAGRAMS; DECISION THEORY; DYNAMIC ANALYSIS; FAULT TREE ANALYSIS; PLANT EXTRACTS;

RELIABILITY ANALYSIS;

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

References (39)

1. Dugan JB, Doyle SA. New results in fault-tree analysis, Tutorial notes of Annual Reliability & Maintainability Symposium, January 1997.
2. J.B. Dugan, S.J. Bavuso, and M.A. Boyd Dynamic fault-tree models for fault-tolerant computer systems IEEE Transactions on Reliability 41 3 1992 363 377
3. J.B. Fussell, E.F. Aber, and R.G. Rahl On the quantitative analysis of priority-AND failure logic IEEE Transactions on Reliability R-25 December 1976 324 326
4. K.B. Misra Handbook of Performability Engineering 2008 Springer-Verlag London 978-1-84800-130-5
5. 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 Proceedings of Probabilistic Safety Assessment and Management 2002 391 396
6. H. Boudali, and J.B. Dugan A discrete-time Bayesian network reliability modeling and analysis framework Reliability Engineering & System Safety 87 3 2005 337 349
7. T. Yuge, and S. Yanagi Quantitative analysis of a fault tree with priority AND gates Reliability Engineering & System Safety 93 11 2008 1577 1583
8. Liu D, Zhang C, Xing W, Li R, Li H. Quantification of cut sequence set for fault tree analysis, HPCC2007, Lecture Notes in Computer Science, No. 4782, Springer-Verlag; 2007. p. 75565.
9. K.S. Trivedi Probability and statistics with reliability, queueing, and computer science applications 1982 Prentice-Hill Englewood-Cliffs, NJ
10. M.E. Hosea, and L.F. Shampine Analysis and implementation of TR-BDF2 Applied Numerical Mathematics 20 12 1996 21 37 (Pubitemid 126337883)
11. A. Jensen Markoff Chains as an aid in the study of Markoff processes Skandinavisk Aktuarietidskrift 36 1953 87 91
12. MalhotraM. A unified approach for transient analysis of stiff and non-stiff Markov models, Technical Report DUKE-CCSR-92-001, Center for Computer Systems Research, Duke University, 1992.
13. R. Gulati, and J.B. Dugan A modular approach for analyzing static and dynamic fault trees Proceedings of Annual Reliability & Maintainability Symposium, Philadelphia, PA 1997 568 573
14. L. Xing, A. Shrestha, L. Meshkat, and W. Wang Incorporating common-cause failures into the modular hierarchical systems analysis IEEE Transactions on Reliability 58 1 2009 10 19
15. S.V. Amari, G. Dill, and E. Howald A new approach to solve dynamic fault trees Proceedings of Annual Reliability & Maintainability Symposium 2003 374 379
16. T. Kohda, E.J. Henley, and K. Inoue Finding modules in fault trees IEEE Transactions on Reliability 38 2 1989 165 176 (Pubitemid 20607271)
17. R. Bryant Graph based algorithms for Boolean function manipulation IEEE Transactions on Computers C-35 8 1986 677 691 (Pubitemid 16629996)
18. L. Xing, and J.B. Dugan Analysis of generalized phased mission system reliability, performance and sensitivity IEEE Transactions on Reliability 51 2 2002 199 211 (Pubitemid 34924193)
19. A. Rauzy New algorithms for fault tree analysis Reliability Engineering and System Safety 40 1993 203 211
20. X. Zang, H. Sun, and K.S. Trivedi A BDD-based algorithm for reliability analysis of phased-mission systems IEEE Transactions on Reliability 48 1 1999 50 60
21. Z. Tang, and J.B. Dugan Minimal cut set/sequence generation for dynamic fault trees Proceedings of Annual Reliability & Maintainability Symposium January 2004 207 213
22. Y.R. Chang, S.V. Amari, and S.Y. Kuo OBDD-based evaluation of reliability and importance measures for multistate systems subjected to imperfect fault coverage IEEE Transactions on Dependable and Secure Computing 2 4 2005 336 347 (Pubitemid 43060382)
23. T.H. Cormen, C.E. Leiserson, R.L. Rivest, and C. Stein Introduction to algorithms 2nd edition 2001 The MIT Press
24. J.B. Dugan Galileo: a tool for dynamic fault tree analysis 2000 Springer Berlin, Heidelberg
25. A. Reibman, R. Smith, and K.S. Trivedi Markov and Markov reward model transient analysis: an overview of numerical approaches European Journal of Operational Research 40 2 1989 257 267
26. L. Xing, J.B. Dugan, and B.A. Morrissette Efficient reliability analysis of systems with functional dependence loops Maintenance and Reliability 3 2009 65 69
27. D.W. Coit Cold-standby redundancy optimization for nonrepairable systems IIE Transactions 33 6 2001 471 478 (Pubitemid 32394194)
28. R. Remenyte-Prescott, J.D. Andrews, and P.W.H. Chung An efficient phased mission reliability analysis for autonomous vehicles Reliability Engineering and System Safety 95 3 2010 226 235
29. L. Xing, and Y. Dai A new decision diagram based method for efficient analysis on multi-state systems IEEE Transactions on Dependable and Secure Computing 6 3 2009 161 174
30. J. Huang, and M. Zuo Dominant multi-state systems IEEE Transactions on Reliability 53 3 2004 362 368
31. X. Zang, D. Wang, H. Sun, and K.S. Trivedi A BDD-based algorithm for analysis of multistate systems with multistate components IEEE Transactions on Computers 52 12 2003 1608 1618
32. G. Levitin, Y. Dai, M. Xie, and K.L. Poh Optimizing survivability of multi-state systems with multi-level protection by multi-processor genetic algorithm Reliability Engineering and System Safety 82 1 2003 93 104
33. Yevkin O. An improved modular approach for dynamic fault tree analysis. In: Proceedings of the 56th annual reliability & maintainability symposium; January 2010.
34. K. Dugra Rao, V. Gopika, V.V.S. Sanyasi Rao, H.S. Kushwaha, A.K. Verma, and A. Srividya Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment Reliability Engineering and System Safety 94 4 2009 872 883
35. A. Bobbio, L. Portinale, M. Minichino, and E. Ciancamerla Improving the analysis of dependable systems by mapping fault trees into Bayesian networks Reliability Engineering and System Safety 71 2001 249 260 (Pubitemid 32077203)
36. W. Long, Y. Sato, and M. Horigome Quantification of sequential failure logic for fault tree analysis Reliability Engineering and System Safety 67 3 2000 269 274 (Pubitemid 30555826)
37. Y. Dutuit, and A. Rauzy Approximate estimation of system reliability via fault trees Reliability Engineering and System Safety 87 2 2005 163 172
38. Y. Dutuit, and A. Rauzy Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia Reliability Engineering and System Safety 58 2 1997 127 144 (Pubitemid 127396521)
39. R.M. Sinnamon, and J.D. Andrews New approaches to evaluating fault trees Reliability Engineering and System Safety 58 1997 89 96 (Pubitemid 127396517)