|
|
 |
|
Viewing report
|
|
|
|
Compiler Support for Timing Analysis of Optimized Code. Edition No. 1
VDM Publishing House, July 2008, Pages: 224
Embedded real-time systems are increasingly used in control applications. To guarantee the safe operation it is required to verify that the system can complete its tasks within their deadlines. Therefore, it is important to know the worst-case execution time (WCET) of the code running on the system. For the precise calculation of the WCET, the code has to be analyzed at the machine-code level. In general, a program has to be annotated with additional flow
information to guide the WCET calculation.
This book presents a framework to transform the flow
information from source code to machine code in
parallel to code optimizations performed by the compiler. The safe and precise transformation of the flow information is induced from the knowledge about the performed code transformation and the structure
of the input program. A graphical transformation-modeling language is used to assist the reader in understanding the required update of flow information. The framework makes error-prone and costy annotation of the machine-code obsolete. The result is a framework that supports high-quality WCET analysis of optimized code.
|
|
|
|
