Formal safety analysis of a radio-based railroad crossing using Deductive Cause-Consequence Analysis (DCCA)

Lecture Notes in Computer Science

Volumn 3463, Issue , 2005, Pages 210-224

  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 systems

Indexed keywords

ACCIDENT PREVENTION; COMPUTER SCIENCE; EMBEDDED SYSTEMS; ERRORS; FAULT TREE ANALYSIS; FORMAL LOGIC; RADIO SYSTEMS; RAILROAD CROSSINGS;

DEPENDABILITY; FAILURE MODES AND EFFECTS ANALYSIS (FMEA); FORMAL METHODS; SAFETY ANALYSIS; SAFETY CRITICAL SYSTEMS;

COMPUTER SYSTEM RECOVERY;

EID: 24944447883     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11408901_15     Document Type: Conference Paper

References (13)

1. M. Balser, W. Reif, G. Schellhorn, K. Stenzel, and A. Thums. Formal system development with KIV. In T. Maibaum, editor, Fundamental Approaches to Software Engineering, number 1783 in LNCS, pages 363-366. Springer-Verlag, 2000.
2. 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, pages 19-31, Toulouse, France, 2002. Springer-Verlag.
3. J. Fragole J. Minarik II J. Railsback Dr. W. Vesley, Dr. Joanne Dugan. Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance, NASA Headquarters, Washington DC 20546, August 2002.
4. ECSS. Failure modes, effects and criticality analysis (FMECA). In European Cooperation for Space Standardization, editor, Space Product Assurance. ESA Publications, 2001.
5. 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.
6. T. A. Kletz. Hazop and HAZAN notes on the identification and assessment of hazards. Technical report, The Institution of Chemical Engineers, Rugby, England, 1986.
7. J. Klose and A. Thums. The STATEMATE reference model of the reference case study 'Verkehrsleittechnik'. Technical Report 2002-01, Universität Augsburg, 2002.
8. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1990.
9. F. Ortmeier and W. Reif. Failure-sensitive specification: A formal method for finding failure modes. Technical Report 3, Institut für Informatik, Universität Augsburg, 2004.
10. Michael R. Beauregard Robin E. McDermott, Raymond J. Mikulak. The Basics of FMEA. Quality Resources, 1996.
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), (to appear).
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.