Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

This book presents the first comprehensive approach integrating WCET considerations into the code generation process. Based on the proposed reconciliation between a compiler and a timing analyzer, a wide range of novel optimization techniques is provided.

For real-time systems, the worst-case execution time (WCET) is the key objective to be considered. Traditionally, code for real-time systems is generated without taking this objective into account and the WCET is computed only after code generation. Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems presents the first comprehensive approach integrating WCET considerations into the code generation process. Based on the proposed reconciliation between a compiler and a timing analyzer, a wide range of novel optimization techniques is provided. Among others, the techniques cover source code and assembly level optimizations, exploit machine learning techniques and address the design of modern systems that have to meet multiple objectives.

Using these optimizations, the WCET of real-time applications can be reduced by about 30% to 45% on the average. This opens opportunities for decreasing clock speeds, costs and energy consumption of embedded processors. The proposed techniques can be used for all types real-time systems, including automotive and avionics IT systems.

First book on compiler optimization techniques for real-time systems Novel approaches to avoid typical trial-and-error procedure during generation of real-time software Numerous optimization techniques at source code and assembly level Useful for developers of real-time systems to cut down costs Vast diversity of methods including abstract interpretation, machine learning, and multi-objective optimiation Includes supplementary material: sn.pub/extras

Auteur
Dr. Peter Marwedel received his PhD in Physics from the University of Kiel in 1974. He is one of the early researchers in high level synthesis, working on the MIMOLA system for a number of years. Dr. Marwedel is a professor at the University of Dortmund since 1989. He has served as the chairman of the computer science department, has played a leading role in establishing the Design, Automation and Test in Europe (DATE) conference and is the chairman of the Informatik Centrum Dortmund (ICD), a technology transfer centre.

Contenu

1. Introduction.- 2. WCET Analysis Techniques.- 3. WCC - WCET-Aware C Compiler.- 4. WCET-Aware Source Code Level Optimizations.- 5. WCET-Aware Assembly Level Optimizations.- 6. Machine Learning Techniques in Compiler Design.- 7. Multi-Objective Optimizations.- 8. Summary and Future Work.- A. Abstract Interpretation.- B. Transformation of Conditions.- References. List of Figures. List of Tables. Index.