Deductive cause-consequence analysis (DCCA)

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 16, Issue , 2005, Pages 62-67

  Ortmeier, Frank ^a   Reif, Wolfgang ^a   Schellhorn, Gerhard ^a  

^a UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

Dependability; Failure modes and effects analysis; Fault tree analysis; Formal methods; Safety analysis; Safety critical system

Indexed keywords

ACCIDENT PREVENTION; FORMAL METHODS; SAFETY FACTOR;

CAUSE-CONSEQUENCE ANALYSIS; DEPENDABILITY; FAILURE MODES AND EFFECTS ANALYSIS; FAULT TREE ANALYSES (FTA); INFORMAL REASONING; MATHEMATICAL PROOF; SAFETY ANALYSIS; SAFETY CRITICAL SYSTEMS;

FAULT TREE ANALYSIS;

EID: 79960708791     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20050703-6-cz-1902.01435     Document Type: Conference Paper

References (14)

1. P. Bieber, C. Castel, and C. Seguin. Combination of fault tree analysis and model checking for safety assessment of complex systems. In Dependable Computing EDCC-4: 4th European Dependable Computing Conference, volume 2485 of LNCS, Springer-Verlag.
2. ECSS. Failure modes, effects and criticality analysis (FMECA). In European Cooperation for Space Standardization, editor, Space Product Assurance. ESA Publications, 2001.
3. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996-1072. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1990.
4. IEC. IEC 61508-7 - Functional safety of electrical/electronic/ programmable electronic safety systems - Part 7: Overview of techniques and measures. International Electrotechnical Commission, 1998.
5. T. A. Kletz. Hazop and HAZAN notes on the identification and assessment of hazards. Technical report, The Institution of Chemical Engineers, Rugby, England, 1986.
6. Robin E. McDermott, Raymond J. Mikulak, and Michael R. Beauregard. The Basics of FMEA. Quality Resources, 1996.
7. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1990.
8. F. Ortmeier and W. Reif. Failure-sensitive specification: A formal method for finding failure modes. Technical Report 3, Institut für Informätik, Universitat Augsburg, 2004a.
9. F. Ortmeier and W. Reif. Safety optimization: A combination of fault tree analysis and optimization techniques. Technical Report 5, Institut für Informätik, Universitat Augsburg, 2004b.
10. F. Ortmeier, W. Reif, G. Schellhorn, A. Thums, B. Hering, and H. Trappschuh. Safety analysis of the height control system for the Elbtunnel. Reliability Engineering and System Safety, 81 (3):259-268, 2003.
11. G. Schellhorn, A. Thums, and W. Reif. Formal fault tree semantics. In Proceedings of The Sixth World Conference on Integrated Design & Process Technology, Pasadena, CA, 2002.
12. A. Thums. Formale Fehlerbaumanalyse. PhD thesis, Universität Augsburg, Augsburg, Germany, 2004. (in German).
13. A. Thums and G. Schellhorn. Model checking FTA. In K. Araki, S. Gnesi, and D. Mandrioli, editors, FME 2003: Formal Methods, LNCS 2805, pages 739-757. Springer-Verlag, 2003.
14. Dr. W. Vesley, Dr. Joanne Dugan, J. Fragole, J. Minarik II, and J. Railsback. Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance, Washington DC 20546, August 2002.