Tutorial T2
T2: Model-Based Safety Analysis
Thursday 25th September, 9:00 - 12:30
Tutorial Leaders
Frank Ortmeier (DE)
Matthias Güdemann (DE)
Wolfgang Reif (DE)
Description
High quality safety analysis is becoming more and more important with the growing risk introduced by modern, complex systems. At the same time the rising complexity of such systems makes them harder to understand, predict and analyze. This tutorial gives an introduction to model-based, state-of-art safety analysis methods.
The main difference between traditional and model-based methods is, that model-based safety analysis deduces cause-consequence relationships (for example: which component failures can cause a specific hazard) on the basis of a (formal) model of the software, the hardware and the environment of the system while traditional approaches are more or less informal and depend heavily upon the skill of the engineer. Model-based safety analysis technically relies on formal analysis methods like temporal logics, model checking and stochastics. However, advances in these domains has made these techniques practicable for a wider community (and not only for experts).
The tutorial gives an introduction to these techniques, how they can be applied, what they can yield and what limitations exist. The tutorial is very much aimed for practical experiences. All methods will be illustrated by real-world case studies.
Short Bios
Frank Ortmeier is currently a senior researcher at the chair of "Software Engineering and Programming Languages" at the University Augsburg. He is currently leading research projects on self-adaptive systems, software engineering for mechatronic systems and on model-based safety analysis. He has been working in the field of safety-critical systems since 2001 and got his Ph.D in Computer Science in 2005 for his thesis on "Model-based Safety Analysis" (german title "Formale Sicherheitsanalyse"). He has published more than 30 peer-reviewed research papers at various international conferences and journals; many of them focusing on the analysis of critical systems. He is also regularyly reading lectures on model-based safety analysis in the Master Elite Graduate Programme of Software Engineering.