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

• Κύριοι συγγραφείς: Lokuciejewski, Paul (Συγγραφέας), Marwedel, Peter (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
• Σειρά: Embedded Systems,
• Θέματα: Engineering.; Microprocessors.; Software engineering.; Programming languages (Electronic computers).; Electronic circuits.; Circuits and Systems.; Programming Languages, Compilers, Interpreters.; Processor Architectures.; Software Engineering/Programming and Operating Systems.

 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. 

 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.