BDD based analysis of parametric fault trees

Proceedings - Annual Reliability and Maintainability Symposium

Volumn , Issue , 2006, Pages 442-449

  Codetta Raiteri, D ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Parametric binary decision diagrams; Parametric fault trees

Indexed keywords

MINIMAL CUT SETS (MCS); PARAMETRIC BINARY DECISION DIAGRAMS; PARAMETRIC FAULT TREES; REDUNDANT SYSTEMS;

DECISION THEORY; MATHEMATICAL MODELS; SYSTEMS ANALYSIS;

FAULT TREE ANALYSIS;

EID: 34250193636     PISSN: 0149144X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RAMS.2006.1677414     Document Type: Conference Paper

References (8)

1. W. G. Schneeweiss, "The Fault Tree Method", LiLoLe Verlag, 1999.
2. A. Bobbio, G. Franceschinis, R. Gaeta, L. Portinale, "Parametric Fault-Tree for the Dependability Analysis of Redundant Systems and its High Level Petri Net Semantics", IEEE Transactions Software Engineering, vol. 29, pages 270-287, 2003.
3. R. E. Bryant, "Symbolic Boolean manipulation with Ordered Binary Decision Diagrams", A CM Computing Surveys, vol. 24, pages 293-318, 1992.
4. K. S. Brace, R. L. Rudell, R. E. Bryant, "Efficient implementation of a BDD package", Proceedings 27-th ACM/IEEE Design Automation Conference, pages 40-45, 1990.
5. A. Rauzy, "New Algorithms for Fault Trees Analysis", Reliability Engineering & System Safety, vol. 05(59), pages 203-211", 1993.
6. R. A. Sahner, K.S. Trivedi, A. Puliafito, "Performance and Reliability Analysis of Computer Systems; An Example-Based Approach Using the SHARPE Software Package, Kluwer Academics Publishers, 1996.
7. M. Bouissou, F. Bruyere, A. Rauzy, "BDD based Fault-Tree Processing: A Comparison of Variable Ordering Heuristics", Proceedings of European Safety and Reliability Association Conference, vol. 3, pages 2045-2052, 1997.
8. Z. Tang, J. B. Dugan, "Minimal Cut Set/Sequence Generation for Dynamic Fault Trees", Proceedings of the Annual Reliability and Maintainability Symposium, Los Angeles, January 2004.