Probabilistic model-based safety analysis

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 28, Issue , 2010, Pages 114-128

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

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

DIRECT QUANTITATIVE ANALYSIS; FAILURE PROPAGATION MODELS; MODEL BASED APPROACH; MODEL-BASED SAFETY ANALYSIS; PROBABILISTIC FAILURE; PROBABILISTIC MODELING; QUANTITATIVE SAFETY ANALYSIS; TRADITIONAL APPROACHES;

MODEL CHECKING;

EID: 85013289373     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.28.8     Document Type: Conference Paper

References (43)

1. (2009). ISO/WD 26262: Road Vehicles-Functional Safety.
2. Parosh Aziz Abdulla, Johann Deneux, Gunnar Stalmarck, Herman Agren & Ove Akerlund (2004): Designing Safe, Reliable Systems using SCADE. In: Proceedings of ISOLA '04. Springer-Verlag.
3. 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 & L. Valacca (2006): ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. In: Proceedings of ERTS 2006.
4. C. Baier, P. R. D'Argenio & M. Grosser (2005): Partial Order Reduction for Probabilistic Branching Time. In: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), Edinburgh, Scotland, Electronic Notes in Theoretical Computer Science 153. Elsevier, pp. 97-116.
5. Jiri Barnat, Lubos Brim, Ivana Cerna, Milan Ceska & Jana Tumova (2008): ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. In: QEST. pp. 77-78.
6. Eckard Böde, Thomas Peikenkamp, Jan Rakow & Samuel Wischmeyer (2008): Model Based Importance Analysis for Minimal Cut Sets. Reports of SFB/TR 14 AVACS 29, SFB/TR 14 AVACS. ISSN: 1860-9821.
7. D. Bosnacki, S. Edelkamp & D. Sulewski (2009): Efficient Probabilistic Model Checking on General Purpose Graphics Processors. In: Proc. 16th International SPIN Workshop, LNCS 5578. Springer, pp. 32-49.
8. M. Bozzano & A. Villafiorita (2003): Integrating Fault Tree Analysis with Event Ordering Information. In: Proceedings of ESREL'03. Balkema, pp. 247-254.
9. M. Bozzano & Adolfo Villafiorita (2003): Improving System Reliability via Model Checking: theFSAP/NuSMV-SA Safety Analysis Platform. In: Proceedings of SAFECOMP'03. Springer, pp. 49-62.
10. M. Bozzano et al. (2003): ESACS: An Integrated Methodology for Design and Safety Analysis of Complex Systems. In: Proceedings of European Safety and Reliability Conference (ESREL'03). Balkema publisher, Maastricht, The Netherlands, pp. 237-245.
11. Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll & Marco Roveri (2009). COMPASS project webpage. http://compass.informatik.rwth-aachen.de/.
12. Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll & Marco Roveri (2009): Model-Based Codesign of Critical Embedded Systems. In: 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems. CEUR-WS.org, pp. 87-91.
13. E. Clarke, O. Grumberg & D. Peled (2000): Model Checking. MIT Press.
14. L. Grunske, R. Colvin & K. Winter (2007): Probabilistic Model-Checking Support for FMEA. In: Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07).
15. M. Gudemann, F. Ortmeier & W Reif (2008): Computing Ordered Minimal Critical Sets. In: E. Schnieder & G Tarnai, editors: Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT).
16. Matthias Güdemann, Frank Ortmeier & Wolfgang Reif (2007): Using Deductive Cause Consequence Analysis (DCCA) with SCADE. In: Proceedings of SAFECOMP 2007. Springer LNCS 4680.
17. N. Halbwachs, P. Caspi, P. Raymond & D. Pilaud (1991): The synchronous data-flow programming language Lustre. Proceedings of the IEEE 79(9), pp. 1305-1320.
18. Hans Hansson & Bengt Jonsson (1994): A Logic for Reasoning about Time and Reliability. Formal Aspects of Computing 6, pp. 102-111.
19. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser & Markus Siegle (2000): A Markov Chain Model Checker. In: TA CAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems. Springer, London, UK, pp. 347-362.
20. Holger Hermanns, Björn Wachter & Lijun Zhang (2008): Probabilistic CEGAR. In: CAV '08: Proceedings of the 20th international conference on Computer Aided Verification. Springer, Berlin, Heidelberg.
21. David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga & Ivan Zapreev (2007): How Fast and Fat Is Your Probabilistic Model Checker? In: Haifa Verification Conference, HVC'07, Springer.
22. J.-P. Katoen, M. Khattri & I. Zapreev (2005): A Markov Reward Model Checker. In: Quantitative Evaluation of Systems (QEST). IEEE Computer Society, Los Alamos, CA, USA, pp. 243-244.
23. J.-P. Katoen, M. Khattri & I. Zapreev (2005): A Markov reward model checker. In: 2nd Int. Conf. on Quantitative Evaluation of Systems, Turin, Italy. IEEE Computer Society, pp. 243-245.
24. Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev & David N. Jansen (2007): Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. In: TACAS. pp. 87-101.
25. M. Kwiatkowska, G. Norman & D. Parker (2002): Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. In: J.-P. Katoen & P. Stevens, editors: Proc. 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), LNCS 2280. Springer, pp. 52-66.
26. M. Kwiatkowska, G. Norman & D. Parker (2007): Stochastic Model Checking. In: M. Bernardo & J. Hillston, editors: Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07), LNCS (Tutorial Volume) 4486. Springer, pp. 220-270.
27. Peter B. Ladkin (2008). An Overview ofIEC 61508 on EEPE Functional Safety.
28. Robin E. McDermott, Raymond J. Mikulak & Michael R. Beauregard (1996): The Basics of FMEA. Quality Resources.
29. K. L. McMillan (1990): Symbolic Model Checking. Kluwer Academic Publishers.
30. MOD0058 (1996): HAZOP studies on systems containing programmable electronics. UK Ministry of Defence.
31. F. Ortmeier, W. Reif & G. Schellhorn(2005): Formal safety analysis of a radio-based railroad crossing using Deductive Cause-Consequence Analysis (DCCA). In: Proceedings of 5th European Dependable Computing Conference EDCC, LNCS 3463. Springer.
32. F. Ortmeier, W. Reif & G. Schellhorn (2006): Deductive Cause-Consequence Analysis (DCCA). In: Proceedings ofIFAC World Congress. Elsevier.
33. Frank Ortmeier, Matthias Güdemann & Wolfgang Reif (2007): Formal Failure Models. In: First IFAC Workshop on Dependable Control of Discrete Systems (DCDS 07). Elsevier.
34. T. Peikenkamp, E. Böde, I. Brückner, H. Spenke, M. Bretschneider & H.-J. Holberg (Toulouse, 2004): Model-based Safety Analysis of a Flap Control System. In: In Proceedings of the INCOSE 2004-14th Annual International Symposium.
35. AVACS Funding Proposal (2003): AVACS - Automatic Verification and Analysis of Complex Systems. Technical Report, University of Oldenburg.
36. RTCA (1992). DO-178B: Software Considerations in Airborne Systems and Equipment Certification.
37. SAE-AS5506 (2004).
38. SAE-AS5506/1 (2006). Volume 1, Annex E: Error Model Annex.
39. M. Cepin & B. Mavko (2002): A dynamic fault tree.Reliability Engineering & System Safety 75.
40. François Vernadat, Christian Percebois, Patrick Farail, Robertus Vingerhoeds, Alain Rossignol, Jean P. Talpin & David Chemouil (2006): The TOPCASED Project - A Toolkit in OPen-source for Critical Applications and SystEm Development. In: Data Systems In Aerospace (DASIA). European Space Agency (ESA Publications).
41. Dr. W. Vesley, Dr. Joanne Dugan, J. Fragole, J. Minarik II & J. Railsback (2002): Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance.
42. Martin Walker, Leonardo Bottaci & Yiannis Papadopoulos (2007): Compositional Temporal Fault Tree Analysis. In: SAFECOMP. pp. 106-119.
43. Hakan L. S. Younes (2005): S.: Ymer: A statistical model checker. In: Computer Aided Verification. Springer.