Minimal cut set/sequence generation for dynamic fault trees

Proceedings of the Annual Reliability and Maintainability Symposium

Volumn , Issue , 2004, Pages 207-213

  Tang, Zhihua ^a,b   Dugan, Joanne Bechta ^a,b  

^a UNIVERSITY OF VIRGINIA   (United States)

^b University of Virginia   (United States)

Author keywords

Binary Decision Diagram; Dynamic Fault Tree; Minimal Cut Set Sequence; Static Fault Tree; Zero suppressed BDD

Indexed keywords

BINARY DECISION DIAGRAM; DYNAMIC FAULT TREE; MINIMAL CUT SET/SEQUENCE; STATIC FAULT TREE; ZERO-SUPPRESSED BDD; DYNAMIC FAULT TREES; EFFICIENT DATA STRUCTURES; FAULT-TREES; MINIMAL CUTSETS; SEQUENCE GENERATION; SET REPRESENTATION; ZERO-SUPPRESSED BINARY DECISION DIAGRAMS;

COMPUTER ARCHITECTURE; DATA STORAGE EQUIPMENT; DATA STRUCTURES; FAULT TOLERANT COMPUTER SYSTEMS; PROBABILITY; PROBLEM SOLVING; SET THEORY; BINARY DECISION DIAGRAMS; BINS; BOOLEAN FUNCTIONS; COMPUTATIONAL EFFICIENCY; DECISION THEORY; ELECTRIC FAULT CURRENTS; MAINTAINABILITY; MARKOV PROCESSES; QUALITY CONTROL;

FAULT TREE ANALYSIS; BINARY TREES;

EID: 2342504409     PISSN: 0149144X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. H. A. Watson and Bell Telephone Laboratories, "Launch control safety study," Bell Telephone Laboratories, Murray Hill, NJ USA, 1961.
2. R. M. Sinnamon and J. D. Andrews, "Fault trees and binary decision diagrams," Proceedings of the Annual Reliability and Maintainability Symposium, 1996, pp. 215-222.
3. J.B. Dugan, S.J.Bacuso & M.A. Boyd, "Fault trees and Markov models for reliability analysis of fault tolerant systems," Reliability Engineering and System Safety, Vol. 39, 1993, pp 291-307.
4. J. B. Dugan, "Software system analysis using fault trees," Chapter 15, Handbook of Software Reliability Engineering, editor MR. Lyu, IEEE Computer Society Press, McGraw-Hill Publication 1996.
5. E.J. Henley and H. Kumanmoto, Probabilistic Risk Assessment, IEEE Press, New York, 1982.
6. nd ed., 1990.
7. A. Rauzy, "New algorithm for fault trees analysis," Reliability Engineering and System Safety, 40 (1993) 203-211.
8. Y. Dutuit and A. Rauzy, "Exact and truncated computations of prime implicants of coherent and noncoherent fault trees with Aralia," Reliability Engineering and System Safety, 58(1997)127-144.
9. A. Rauzy, "Mathematical foundations of minimal cutsets," IEEE Transactions on Reliability, Vol. 50, No. 4, December 2001. pp. 389-396.
10. S.N.Chau, L.Alkalai, A.T. Tai & J.B. Burt, "Design of a Fault-Tolerant COTS-Based Bus Architecture," IEEE Transactions on Reliability, Vol. 48, No. 4, 1999 Dec. 1999, pp.351-359.
11. R.Bryant, "Graph based algorithms for Boolean function manipulation," IEEE Transactions on Computer, 35(8), 1987, pp. 667-691.
12. R. E. Bryant, "Symbolic Boolean manipulation with ordered binary-decision diagrams," ACM Computing Surveys, Vol. 24, No. 3, Sept. 1992, pp.293-318.
13. th ACM/IEEE Design Automation Conference (DAC'93), pp. 272-277, June 1993.
14. S. Minato, "Zero-suppressed BDDs and their applications," International Journal on Software Tools for Technology Transfer (STTT), (2001)3: 156-170.
15. th ACM/IEEE Design Automation Conf. (DAC'92), pp. 36-39, June 1992.
16. B. Lin, F. Somenzi, "Minimization of symbolic relations," Proc. of ACM/IEEE Int. Conf. on Computer-Aided Design (ICCAD'90), pp.88-91, Nov 1990.
17. J.B. Dugan, Salvatore J. Bavuso and Mark A. Boyd, "Dynamic Fault Tree Models for Fault Tolerant Computer Systems", IEEE Transactions on Reliability, Vol. 41, No.3, September 1992, pp 363-377.