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.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.