An algorithm to find minimal cuts of coherent fault-trees with event-classes, using a decision tree

IEEE Transactions on Reliability

Volumn 48, Issue 1, 1999, Pages 31-41

  Carrasco, Juan A ^a   Sufié, Victor ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Decision tree; Fault tree; Minimal cuts

Indexed keywords

ALGORITHMS; DECISION THEORY; FAULT TREE ANALYSIS; HEURISTIC METHODS; TREES (MATHEMATICS);

COHERENT FAULT-TREES;

RELIABILITY;

EID: 0032623496     PISSN: 00189529     EISSN: None     Source Type: Journal    
DOI: 10.1109/24.765925     Document Type: Article

References (26)

1. M. Abramovici, J.J. Kulikowski, P.R. Menon, D.T. Miller, "SMART and FAST: Test generation for VLSI scandesign circuits", IEEE Design and Test of Computers, vol 3, 1986 Äug, pp 43 - 54.
2. N.N. Bengiamin, B.A. Bowen, K.F. Schenk, "An efficient algorithm for reducing the complexity of computation in fault tree analysis", IEEE Trans. Nuclear Science, vol NS-23, 1976 Oct, pp 1442 - 1446.
3. R.G. Bennets, "On the analysis of fault trees", IEEE Trans. Reliability, vol R-24, 1975 Aug, pp 175 - 185.
4. R. Bryant, "Symbolic Boolean manipulation with ordered binary decision diagrams", ACM Computing Surveys, vol 24, 1992, pp 293 - 318.
5. J.A. Carrasco, "Improving availability bounds using the failure distance concept", Dependable Computing and Fault-Tolerant Systems, vol 5, 1995, pp 479 - 497; Springer-Verlag.
6. J.A. Carrasco, J. Escribe, A. Calderön, "Efficient exploration of availability models guided by failure distances", A CM Performance Evaluation Review, vol 24, 1996 no. 1, May, pp 242 - 251.
7. P. Chatterjee, "Modularization of fault trees: A method to reduce the cost of analysis", Reliability and Fault Tree Analysis, 1975, pp 101 - 126; S1AM.
8. O. Coudert, J. C. Madre, "MetaPrime: An interactive fault-tree analyzer", IEEE Trans. Reliability, vol 43, 1994 Mar, pp 121 - 127.
9. Y. Dutuit, A. Rauzy, "A linear-time algorithm to find modules of fault trees", IEEE Trans. Reliability, vol 45, 1996 Sep, pp 422 - 425.
10. H. Fujiwara, T. Shimano, "On the acceleration of test generation algorithms", IEEE Trans. Computers, vol C-32, 1983 Dec, pp 1137- 1144.
11. J.B. Fussell. W. E. Vesely, "A new methodology for obtaining cut sets for fault trees", Trans. American Nuclear Society, vol 15, 1972 Jun, pp 262 - 263.
12. P. Goel, "An implicit enumeration algorithm to generate tests for combinational logic circuits", IEEE Trans. Computers, vol C-30, 1981 Mar, pp 215 - 222.
13. L.H. Goldstein, "Controllability/observability analysis of digital circuits", IEEE Trans. Circuits and Systems, vol CAS-26, 1979 Sep, pp 685 - 693.
14. W. Hennings, N. Kuznetsov, "FAMOCUTN & CUTQN: Programs for fast analysis of large fault trees with replicated & negated gates", IEEE Trans. Reliability, vol 44, 1995 Sep, pp 368 - 376.
15. T. Kohda, E.J. Henley, K. Inoue, "Finding modules in fault trees", IEEE Trans. Reliability, vol 38, 1989 Jun, pp 165 - 176.
16. N. Limnios, R. Ziani, "An algorithm for reducing cut sets in fault-tree analysis", IEEE Trans. Reliability, vol R-35, 1986 Dec, pp 559 - 561.
17. K. Nakashima, Y. Hattori, "An efficient bottom-up algorithm for enumerating minimal cut sets of fault trees", IEEE Trans. Reliability, vol R-28, 1979 Dec, pp 353 -357.
18. K. Odeh, N. Limnios, "A new algorithm for fault trees prime implicant computations", ESREL'96, Crete (Greece), 1996 Jun, pp 1085 - 1090.
19. D.M. Rasmuson, N.H. Marshall, "FATRAM - A core efficient cut-set algorithm", IEEE Trans. Reliability, vol R-27, 1978 Oct, pp 250 - 253.
20. A. Rauzy, "New algorithms for fault trees analysis", Reliability Engineering and System Safety, vol 40, 1993, pp 203 - 211.
21. A. Rosenthal, "A computer scientist looks at reliability computations", Reliability and Fault Tree Analysis, 1975, pp 133 - 152; SIAM.
22. A. Rosenthal, "Decomposition methods for fault tree analysis", IEEE Trans. Reliability, vol R-29, 1980 Jun, pp 136 -138.
23. S. N. Semanders, "ELRAFT: A computer program for the efficient logic reduction analysis of fault trees", IEEE Trans. Nuclear Science, vol NS-18, 1971 Feb, pp 481 -487.
24. R.M. Sinnamon, J.D. Andrews, "Fault tree analysis and binary decision diagrams", Proc. Ann. Reliability and Maintainability Symp, 1996, pp 215 - 222.
25. V. Suné, J.A. Carrasco, "A method for the computation of reliability bounds for non-repairable fault-tolerant systems", Proc. 5th Int'l Symp. on Modeling, Analysis and Simulation of Computers and Telecommunication Systems (MASCOTS'97), 1997 Jan, pp 221 - 228, Haifa.
26. J.M. Wilson, "Modularizing and minimizing fault trees", IEEE Trans. Reliability, vol R-34, 1985 Oct, pp 320 - 322.