University of Konstanz
Graduiertenkolleg / PhD Program
Computer and Information Science

Colloquium of the Department and the PhD Program


Dependability in software-intensive systems


Jun.-Prof. Dr. Frank Ortmeier , Otto-von-Guericke University Magdeburg, Germany

date & place

Friday, 02.03.2012, 13:30 h
Room Y 310


Software is becoming an integral part in many technical systems, which leads to the term of software-intensive systems. Many such systems bear an inherent risk of damage to humans or the environment. Analyzing and determining a priori potentially dangerous situations with traditional methods known from safety analysis is also because of the dominance of software no longer sufficient. In this talk, we explain newer model-based approaches to cope with this problem. The core idea is to build a model of the system, it`s environment and possible failures and used deduction techniques to derive dependability aspects. In particular, we will cover the questions how safety can be measure qualitatively (i.e. what must go wrong for system failure) as well as quantitatively (i.e. how probable is a system failure). We will also compare the methods to traditional approaches.