Traditionell finden Design und zeitliche Analyse eines eingebetteten harten Echtzeitsystems getrennt voneinander statt. Dies führt zu einem komplexen Designfluss, der menschliche Interaktion benötigt. Weiter optimieren Standardcompiler in Bezug auf die durchschnittliche Performanz, so dass der Systemdesigner nicht bei der Optimierung hinsichtlich der schlimmstmöglichen Programmlaufzeit unterstützt wird. Der WCET-Aware C Compiler WCC verbessert diese Situation, indem Planbarkeitsanalysen eng in den Compilierungs- und Optimierungsprozess mit eingebuden werden. Weiter bietet der Compiler gezielte Möglichkeiten um echtzeitbewusst Optimierungen durchzuführen und dabei gezielt mikroarchitekturelle Eigenschaften der jeweiligen Zielarchitektur ausz...
Why Compiler-Support for WCET Analysis? Compiler “knows ” both code representations • Source code (...
International audienceStatic Worst-Case Execution Time (WCET) estimation techniques take as input th...
“This material is presented to ensure timely dissemination of scholarly and technical work. Copyrigh...
This paper presents techniques to tightly integrate worst-case execution time information into a com...
Modern embedded hard real-time systems feature multiple tasks running on multiple processing cores. ...
Embedded/Cyber-physical systems, have become popular in a wide range of application scenarios. Su...
The correctness of real-time systems depends on both its logical and temporal correctness. Typically...
Real-time systems have become ubiquitous, and play an important role in our everyday life. For hard ...
We show how a high level programming language like C may be used for hardware/software-codesign. Sin...
Due to their nature, hard real-time embedded systems (e.g. flight control systems) must be guarantee...
In real-time systems, an upper-bound on the execution time is mandatory to guarantee all timing cons...
There is a long standing separation between the fields of compiler construction and real-time schedu...
Today, traditional mechanical and electrical systems are replaced with special ICT (Information and ...
: This tutorial considers the design of modern machine-independent optimising compilers for classica...
Optimization by a compiler can be executed with many different methods. The defence company Saab pro...
Why Compiler-Support for WCET Analysis? Compiler “knows ” both code representations • Source code (...
International audienceStatic Worst-Case Execution Time (WCET) estimation techniques take as input th...
“This material is presented to ensure timely dissemination of scholarly and technical work. Copyrigh...
This paper presents techniques to tightly integrate worst-case execution time information into a com...
Modern embedded hard real-time systems feature multiple tasks running on multiple processing cores. ...
Embedded/Cyber-physical systems, have become popular in a wide range of application scenarios. Su...
The correctness of real-time systems depends on both its logical and temporal correctness. Typically...
Real-time systems have become ubiquitous, and play an important role in our everyday life. For hard ...
We show how a high level programming language like C may be used for hardware/software-codesign. Sin...
Due to their nature, hard real-time embedded systems (e.g. flight control systems) must be guarantee...
In real-time systems, an upper-bound on the execution time is mandatory to guarantee all timing cons...
There is a long standing separation between the fields of compiler construction and real-time schedu...
Today, traditional mechanical and electrical systems are replaced with special ICT (Information and ...
: This tutorial considers the design of modern machine-independent optimising compilers for classica...
Optimization by a compiler can be executed with many different methods. The defence company Saab pro...
Why Compiler-Support for WCET Analysis? Compiler “knows ” both code representations • Source code (...
International audienceStatic Worst-Case Execution Time (WCET) estimation techniques take as input th...
“This material is presented to ensure timely dissemination of scholarly and technical work. Copyrigh...