Revision with unchanged content. 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). Now-adays, software for
embedded systems acting as real-time systems is written in high-level
languages requiring the presence of a compiler. Modern com-piler
optimizations aim at reducing the program's average-case exe-cution time
completely ignoring the WCET. Tuning an application with respect to its
worst-case execution time must be performed manually. To avoid this
tedious and error-prone approach, an automation by the compiler is
highly desired. This book faces this issue and describes the integration
of a timing analyzer into a compiler infractructure. It presents
flexible concepts describing the design and realization of a novel
WCET-aware C compiler. Due to the combination of the extensive compiler
knowledge on the program and the timing information, this compiler
framework is best suited for the deve-lopment of WCET-aware compiler
optimizations. This book is intended for students but also for any
reader interested in the construction of real-time compilers.
