AUTOSAFE

Many of today's safety-critical systems are based on digital computing platforms on which
system functions are primarily housed as software. Several system functions share the
resources of a computer. The proof that a system is safe is provided by estimating the probabilities of malfunctions.
the probability of malfunctions occurring. With computer platform-based
knowledge of the platform, the assignment of the software and the understanding of the system.
understanding of the system. To gather this information manually and to evaluate it in the course of a
analysis is very time-consuming. Many companies invest heavily in
software support for security analysis, but this is not capable of creating the necessary error
automatically. In cooperation with Delta System Solutions GmbH, AUTOSAFE
a software prototype is to be developed, which automatically creates complete and comprehensible fault trees.
automatically. This should enable the development of a compact fault model as well as a method for the automated
a method for the automated inclusion of external events.

Autosafe is funded by the German Federal Ministry for Economic Affairs and Energy (BMWi) as part of a ZIM project.