In many embedded systems, for instance, in the automotive, avionic, or robotics domain, critical functionalities are implemented via …
Software applications in automotive systems are comprised of communicating real-time tasks, described by cause-effect chains. To …
Timing guarantee is an important aspect and must be ensured for every individual task in real-time systems. Even for periodic tasks, …
Safety-critical systems are often subjected to transient faults. Since these transient faults may lead to soft errors that cause …