A linear-time algorithm to find modules of fault trees

IEEE Transactions on Reliability

Volumn 45, Issue 3, 1996, Pages 422-425

  Dutuit, Yves ^a,b   Rauzy, Antoine ^a  

^a UNIVERSITÉ DE BORDEAUX   (France)

^b UNIVERSITÉ BORDEAUX 1   (France)

Author keywords

Fault tree; Module

Indexed keywords

COMPUTATIONAL METHODS; DATA STRUCTURES; ERROR DETECTION; FAILURE ANALYSIS; GRAPH THEORY; PERSONAL COMPUTERS; PROBABILITY;

FAULT TREES; LINEAR TIME ALGORITHM; TARJAN ALGORITHM;

ALGORITHMS;

EID: 0030245278     PISSN: 00189529     EISSN: None     Source Type: Journal    
DOI: 10.1109/24.537011     Document Type: Article

References (14)

1. Groupe Aralia, "Computation of prime implicants of a fault tree within Aralia", froc. European Safety & Reliability Assoc. Con/, ESREL'95, 1995 Jim, pp 190-202; ESREL.
2. Z.W. Birnbaum, J.P. Esary, "Modules of coherent binary systems", SIAM J. Applied Mathematics, vol 13, 1965, pp 442-462.
3. K. Brace. R. Rudell, R. Bryant, "Efficient implementation of a BDD package", Proc. 27th ACM/IEEE Design Automation Conf, 1990; IEEE.
4. L. Camarinopoulos, J. Yllera, ' 'An improved top-down algorithm combined with modularization as highly efficient method for fault tree analysis", Reliability Engineering, vol 11, 1985, pp 93-108.
5. P. Chatterjee, "Modularization of fault trees: A method to reduce the cost of analysis", Reliability and Fault Tree Analysis, 1975, pp 101-137; SI AM.
6. O. Coudert, J.C. Madre, "MetaPrime: An interactive fault tree analyzer", IEEE Trans. Reliability; vol 43, 1994 Mar, pp 121-127.
7. S.A. Doyle, J.B. Dugan. M. Boyd, "Combinatorial-models and coverage: A binary decision diagram (BDD) approach ",Pmc. Ann. Reliability and Maintainability Symp, 1995, pp 82-89.
8. T. Kohda, E.J. Henley, K. Inoue, "Finding modules in fault trees", IEEE Trans. Reliability, vol 38, 1989 Jun, pp 165-176.
9. W.S. Lee, D.L. Grosh, F.A. Tillman, C.H. Lie, "Fault tree analysis, methods and applications: A review", IEEE Trans. Reliability, vol R-34, 1985 Aug, pp 194-203.
10. M.O. Locks, "Modularizing, minimizing and interpreting the K&H fault tree", IEEE Trans. Reliability, vol R-30, 1981 Dec, pp 411-415.
11. A. Rauzy, ' ' New algorithms for fault tree analysis ' ', Reliability Engineer-ing & System Safety, vol 5, 1993, pp 203-211.
12. A. Rosenthal, "Decomposition methods for fault tree analysis", IEEE Trans. Reliability, vol R-29, 1980 Jun, pp 136-138.
13. R.E. Tarjan, "Depth first search and linear graph algorithms", SIAM J. Comput., vol 1, 1972, pp 146-160
14. J. Yllera, "Modularization methods for evaluating fault trees of complex technical systems", Engineering Risk and Hazard Assessment (A. Kandel, E. Avni, Eds), vol 2, 1988, chapter 5; CRC Press.