Quantitative model-based safety analysis: A case study

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-170, Issue , 2010, Pages 37-48

  Güdemann, Matthias ^a   Ortmeier, Frank ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS METHOD; CRITICAL FAILURES; ERROR PRONES; FAILURE PROPAGATION MODELS; MODEL BASED APPROACH; MODEL-BASED SAFETY ANALYSIS; REAL-WORLD; SAFETY ANALYSIS; SAFETY CRITICAL SYSTEMS; SYSTEM DYNAMICS; TRADITIONAL APPROACHES;

FAILURE ANALYSIS; MODEL CHECKING;

SECURITY SYSTEMS;

EID: 84874239956     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. O. Akerlund, P. Bieber, E. Boede, M. Bozzano, M. Bretschneider, C. Castel, A. Cavallo, M. Cifaldi, J. Gauthier, A. Griffault, O. Lisagor, A. Luedtke, S. Metge, C. Papadopoulos, T. Peikenkamp, L. Sagaspe, C. Seguin, H. Trivedi, and L. Valacca. ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. In Proceedings of ERTS 2006, 2006.
2. Parosh Aziz Abdulla, Johann Deneux, Gunnar Stalmarck, Herman Agren, and Ove Akerlund. Designing Safe, Reliable Systems using SCADE. In Proceedings of ISOLA'04. Springer-Verlag, 2004.
3. Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri. COMPA SS project webpage. http://compass. informatik.rwth-aachen.de/, 2009.
4. Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri. Model-Based Codesign of Critical Embedded Systems. In 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems, pages 87-91. CEUR-WS.org, 2009.
5. D. Bosnacki, S. Edelkamp, and D. Sulewski. Efficient Probabilistic Model Checking on General Purpose Graphics Processors. In C. Pasareanu, editor, Proc. 16th International SPIN Workshop, volume 5578 of LNCS, pages 32-49. Springer, 2009.
6. Eckard Böde, Thomas Peikenkamp, Jan Rakow, and Samuel Wischmeyer. Model Based Importance Analysis for Minimal Cut Sets. Reports of SFB/TR 14 AVA CS 29, SFB/TR 14 AVA CS, Apr 2008. ISSN: 1860-9821, http://www.avacs.org.
7. M. Bozzano and Adolfo Villafiorita. Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform. In Proceedings of SAFE-COMP'03, pages 49-62. Springer, 2003.
8. L. Grunske, R. Colvin, and K. Winter. Probabilistic Model-Checking Support for FMEA. In Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07), 2007.
9. th Workshop on Quantitative Aspects of Programming Languages (QAPL10). EPTCS, 2010.
10. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, and Markus Siegle. A Markov Chain Model Checker. In TACAS '00: Proceedings of the 6th International Conference on To ols and Algorithms for Construction and Analysis of Systems, pages 347-362, London, UK, 2000. Springer-Verlag.
11. ISO/WD 26262: Road Vehicles-Functional Safety, 2009.
12. Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, and David N. Jansen. Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. In TACAS, pages 87-101, 2007.
13. M. Z. Kwiatkowska, G. Norman, and D. Parker. Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. In TACAS '02: Proceedings of the 8th International Conference on To ols and Algorithms for the Construction and Analysis of Systems, pages 52-66, London, UK, 2002. Springer-Verlag.
14. J. Klose and A. Thums. The STATEMAT E Reference Model of the Reference Case Study 'Verkehrsleittechnik'. Technical Report 2002-01, Universität Augsburg, 2002.
15. Peter B. Ladkin. An Overview of IEC 61508 on EEPE Functional Safety, 2008.
16. Frank Ortmeier, Matthias Güdemann, and Wolfgang Reif. Formal Failure Models. In First IFA C Workshop on Dependable Control of Discrete Systems (DCDS 07). Elsevier, 2007.
17. 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.
18. F. Ortmeier, W. Reif, and G. Schellhorn. Formal safety analysis of a radio-based railroad crossing using Deductive Cause-Consequence Analysis (DCCA). In Proceedings of 5th European Dependable Computing Conference EDCC, volume 3463 of LNCS. Springer, 2005.
19. F. Ortmeier, W. Reif, and G. Schellhorn. Deductive Cause-Consequence Analysis (DCCA). In Proceedings of IFAC World Congress. Elsevier, 2006.
20. RTCA. DO-178B: Software Considerations in Airborne Systems and Equipment Certification, December, 1st 1992.
21. 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, August 2002.