In contrast to general-purpose systems, the correctness of real-time systems
not only depends on the logical results of the computation but also on its
temporal behavior specified by the worst-case execution time (WCET). Nowadays,
software for embedded systems acting as real-time systems is written
in high-level languages requiring the presence of a compiler. Modern compiler
optimizations aim at reducing the programs average-case execution
time completely ignoring the WCET. Tuning an application with respect to its
worst-case execution time must be performed manually. To avoid this...