Consideration of Optimizing Compilers in the Context of WCET Analysis

This paper presents a WCET analysis concept which is based on the analysis of source code written in a high level programming language Additional information about the timing behaviour of the program is given as annotations These annotations are transformed inside the compiler to assembly code level This transformation also works for code optimizations performed by the compiler Experiments show examples of e ects that can arise and be handles by this WCET analysis concept