Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

Software Engineering 2012. Workshopband P-199, 155-162 (2012).

Gesellschaft für Informatik, Bonn

Copyright © Gesellschaft für Informatik, Bonn


Using model-based analysis in certification of critical software-intensive systems

Frank Ortmeier , Simon Struck and Michael Lipaczewski


Software is taking over more and more functionality in most technical systems, which leads to the term software-intensive or cyber-physical systems. Although this offers many exciting new opportunities, it also makes precise analysis of safety and reliability goals much more complicated. Well-known traditional techniques often reach their limits. Model-based approaches on the other hand can be useful for solving some of these problems. However, in industrial practice answering the question alone is often not sufficient. It is also necessary to explain how answers were found. In this paper, we will show some of the capabilities of modern model-based analysis methods and highlight how they possibly could be used in safety engineering resp. what obstacles need to be avoided.

Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-293-2

Last changed 04.10.2013 18:38:02