Towards model-driven safety analysis

2011 3rd International Workshop on Dependable Control of Discrete Systems, DCDS'11 - Conference Proceedings

Volumn , Issue , 2011, Pages 53-58

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

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

fault tolerance; formal methods; model checking; reliability

Indexed keywords

ADEQUATE MODELS; ANALYSIS MODELS; ANALYSIS TOOLS; FORMAL ANALYSIS TOOLS; FORMAL MODEL; HIGH QUALITY; HIGHER-LEVEL LANGUAGES; INTERMEDIATE LANGUAGES; MODEL DRIVEN APPROACH; MODEL-DRIVEN; MODELING FRAMEWORKS; PROBABILISTIC BEHAVIOR; SAFETY ANALYSIS; SAFETY REQUIREMENTS; STATE OF THE ART; SYSTEM FAILURES; USER BENEFITS;

FAULT TOLERANCE; FORMAL METHODS; MODEL CHECKING; RELIABILITY ANALYSIS; SECURITY SYSTEMS; SEMANTICS;

QUALITY CONTROL;

EID: 80052134942     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DCDS.2011.5970318     Document Type: Conference Paper

References (34)

1. nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 06). IEEE CS Press, 2006.
2. L. Grunske, B. Kaiser, and Y. Papadopoulos, "Model-driven safety evaluation with state-event-based component failure annotations" in Component-Based Software Engineering. Springer LNCS, 2005.
3. F. Ortmeier and G. Schellhorn. "Formal Fault Tree Analysis - Practical Experiences" in Proceedings of AVoCS 2006, 2006.
4. G. Merle. J.-M. Roussel, J.-J. Lesage, and A. Bobbio, "Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events," Reliability, IEEE Transactions on, vol. 59, no. 1. pp. 250-261. mar. 2010.
5. F. Ortmeier and W. Reif, "Safety optimization: A combination of fault tree analysis and optimization techniques." in Proceedings of DSN 2004. Florence: IEEE Computer Society. 2004.
6. A. Joshi. S. P. Miller, M. Whalen, and M. P. Heimdahl, "A Proposal for Model-Based Safety Analysis," in /// Proceedings of DASC 2004. Oct 2005.
7. M. Giidemann. F. Ortmeier, and W. Reif, "Using deductive cause conse-quence analysis (DCCA) with SCADE," in Proceedings of SAFECOMP 2007. Springer LNCS 4680, 2007.
8. A. Joshi and M. P. Heimdahl, "Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier;' in SAFECOMP. LNCS, 2005.
9. P. A. Abdulla. J. Deneux, G. Stalmarck, H. Agren, and O. Akerlund, "Designing safe, reliable systems using SCADE." in Proceedings of ISoLA 04. Springer. 2004.
10. M. Giidemann and F. Ortmeier, "A framework for qualitative and quantitative model-based safety analysis," in Proceedings ofHASE2010. IEEE CS, 2010.
11. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, "The synchronous data-flow programming language Lustre," Proceedings of the IEEE, vol. 79. no. 9, pp. 1305-1320, September 1991. (Pubitemid 21738062)
12. F. Ortmeier, Formate Sicherheitsanalyse, F. Ortmeier, Ed. Logos Verlag Berlin, 2006.
13. F. Ortmeier and W. Reif, "Failure-sensitive specification: A formal method for finding failure modes," Institut fttr Informatik. Universitat Augsburg, Tech. Rep. 3, 2004.
14. st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 07). Elsevier, 2007.
15. P. B. Ladkin, "An overview of IEC 61508 on E/E/PE functional safety," 2008.
16. M. Giidemann and F. Ortmeier, "Probabilistic model-based safety anal-ysis" in Proceedings of QAPL 2010. EPTCS, 2010.
17. -. "Quantitative model-based safety analysis: A case study," in Proceedings of SICHERHEIT 20/0. LNI, 2010.
18. L. de Alfaro, M. Faella. T. A. Henzinger. R. Majumdar, and M. Stoelinga, "Model checking discounted temporal properties." The-oretical Computer Science, vol. 345, pp. 139-170. 2005. (Pubitemid 41562544)
19. E. Clarke, O. Grumberg. and D. Peled, Model Checking. MIT Press, 2000.
20. H. Hansson and B. Jonsson, "A logic for reasoning about time and reliability," Formal Aspects of Computing, vol. 6, pp. 102-111, 1994.
21. th IFAC World Congress. Elsevier, 2006.
22. M. Gudemann, F. Ortmeier. and W. Reif. "Computing ordered minimal critical sets," in Proceedings of FORMS/FORMAT, E. Schnieder and G. Tarnai, Eds., 2008.
23. K. L. McMillan, Symbolic Model Checking. Kluwer Academic Pub-lishers, 1990.
24. A. Cimatti. E. Clarke, E. Giunchiglia. F. Giunchiglia, M. Pistore, M. Roveri. R. Sebastiani. and A. Tacchella, "NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking," in Proceedings of CAV, ser. LNCS, vol. 2404. Springer, 2002.
25. G. Norman. D. Parker, and M. Kwiatkowska. (accessed: June 2010) The PRISM language - semantics. [Online]. Available: http://www.prismmodelchecker.org/ doc/semantics.pdf
26. J.-P. Katoen, M. Khattri. and I. Zapreev, "A markov reward model checker" in Proceedings of QEST 2005. IEEE CS, 2005.
27. R. Cavada, A. Cimatti, E. Olivetti, and M. P. M. Roveri. (accessed: January 2011) NuSMV v2.5 user manual. http://nusmv.ftk.eu/NuSMV/userman/index- v2.htnil.
28. A. Joshi and M. P. E. Heimdahl. "Behavioral fault modeling for model-based safety analysis," in Proceedings ofHASE 2007. IEEE CS, 2007.
29. F. Vernadat, C. Percebois, P. Farail, R. Vingerhoeds, A. Rossignol. J. P. Talpin. and D. Chemouil. "The TOPCASED project," in DASIA. ESA Publications, 2006.
30. J.-C. Fernandez, H. Garavel, A. Kerbrat, L. Mounier, R. Mateescu, and M. Sighireanu. "CADP - a protocol validation and verification toolbox," 1996.
31. B. Berthomieu and P.-O. R. an F. Vernadat, "The tool tina - construction of abstract state spaces for petri nets and time petri nets," International Journal of Production Research, vol. 42, 2004.
32. P. Farail. P. Gaufillet, F. Peres. J.-P. Bodeveix, M. Filali, B. Berthomieu. S. Rodrigo, F. Vernadat, H. Garavel. and F. Lang, "FIACRE: an interme-diate language for model verification in the TOPCASED environment," in ERTS. SEE, 2008.
33. M. Bozzano, A. Cimatti, J.-P. Katoen, V. Y. Nguyen, T. Noll, and M. Roveri, "Safety, dependability, and performance analysis of extended AADL models," The Computer Journal, 2010.
34. -, "Model-based codesign of critical embedded systems," in Pro-ceedings ofACES-MB. CEUR Workshop Proceedings, 2009.