The worst case execution time (WCET) is an attribute of a program,
that is important for the design of a real-time system. However its
determination is not an easy task. On one hand the growing
complexity of modern processors has to be considered by appropriate
hardware models. On the other hand necessary path information (e.g
loop bounds) have to be determined for more and
more complex software.
One architectural feature of modern processors, is speculative
branch processing. In this paper we present a method, to
consider branch processing with static timing analysis.
The determination of path information is crucial for the correctness
of WCET estimation.
To maintain this information during
development and provide it to the analysis tool is important to know the
correspondence between source code and assembly code structures.
In the second part of this paper we propose a method to perform a
mapping between source code and assembly code, using structural
information of the program as well as compiler generated debug
information.
