The complexity of modern safety-critical systems is steadily increasing due to the amount of
functionality that is implemented in those systems. In order to be able to asses the …

Electronic design on detailed hardware level for automotive safety-related systems requires
evaluation of the hardware architecture to cope with random hardware failures. The …

We report on the modeling and formal analysis of reliability requirements in the context of an
Airport Surveillance Radar system using SysML and probabilistic model checking. The …

A fail-operational system for highly automated driving must complete the driving task even in
the presence of a failure. This requires redundant architectures and a mechanism to …

Nowadays the trend in the automotive industry is to integrate systems that go beyond the
scope of just maneuvering the car. Navigation, communication, and entertainment functions …

Novel functionalities and innovations, such as driver assistance systems, lead to growing
technological complexity of electric and electronic systems for road vehicles. Achieving …