Formal failure models

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 1, Issue PART 1, 2007, Pages 145-150

  Ortmeier, Frank ^a   Güdemann, Matthias ^a   Reif, Wolfgang ^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

FAILURE (MECHANICAL); FAULT TREE ANALYSIS; SAFETY FACTOR;

DEPENDABILITY; FAILURE MODEL; FAILURE MODES AND EFFECTS ANALYSIS; FORMAL ANALYSIS; FUNCTIONAL BEHAVIORS; MODEL FAILURE; SAFETY ANALYSIS; SAFETY CRITICAL SYSTEMS;

FORMAL METHODS;

EID: 79960918112     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20070613-3-fr-4909.00027     Document Type: Conference Paper

References (12)

1. 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.
2. M. Güdemann, F. Ortmeier, and W. Reif. Safety and dependability analysis of self-adaptive systems. In Proceedings of ISoLA 2006, 2nd Symposium on Leveraging Applications of Formal Methods, Verification and Validation. IEEE CS Press, 2006.
3. D. Harel and M. Politi. Modeling Reactive Systems With Statecharts: The Statemate Approach. McGraw Hill, 1998.
4. IEC, editor. IEC 61508-7-Functional safety of electrical/electronic/ programmable electronic safety systems-Part 7: Overview of techniques and measures. International Electrotechnical Commission, 1998.
5. J. Klose and A. Thums. The STATEMATE reference model of the reference case study 'Verkehrsleittechnik'. Technical Report 2002-01, Universität Augsburg, 2002.
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. Formale Sicherheitsanalyse. PhD thesis, Universität Augsburg, 2005. (in German).
9. F. Ortmeier, W. Reif, and G. Schellhorn. Deductive cause-consequence analysis (DCCA). In Proceedings of IFAC World Congress, 2005.
10. 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.
11. Andreas Thums. Formale Fehlerbaumanalyse. PhD thesis, Universität Augsburg, Augsburg, Germany, 2004. (in German).
12. 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, NASA Headquarters, Washington DC 20546, August 2002.