[Back]

A. Prantl:
"The CoSTA Transformer: Integrating Optimizing Compilation and WCET Flow Facts Transformation";
Talk: 14. Kolloquium "Programmiersprachen und Grundlagen der Programmierung (KPS'07)", Timmendorfer Strand; 2007-10-10 - 2007-10-12; in: "Proceedings 14. Kolloquium ``Programmiersprachen und Grundlagen der Programmierung (KPS'07)"", A-07-07 (2007), 6 pages.

The determination of the worst-case execution time (WCET)
of a program is a critical issue for the design of safety-critical real-time
systems. Because the exact timing of the program depends on the lowlevel
hardware instructions, tools that automatically calculate an upper
bound for the WCET typically operate on the object code level. In order
to get tighter WCET estimates, these tools often rely on control flow
annotations, also called flow facts, which can be provided manually or
by a tool. For the programmer, it is more convenient to provide flow facts
directly at the source code level. To make this possible, it is necessary to
extend the compiler to transform the source-based flow facts alongside
the program optimizations. In this paper, we introduce an approach that
integrates optimizing compilation and flow fact transformation, called
the CoSTA Transformer. Our approach is designed to operate on a very
high level of abstraction and thus can easily be adopted to different
compiler/target-machine combinations.