Talks and Poster Presentations (with Proceedings-Entry):

A. Prantl, M. Schordan, J. Knoop:
"TuBound - A Tool for Worst-Case Execution Time Analysis";
Talk: 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2008-05-05 - 2008-05-07; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008), 10 pages.

English abstract:
TuBound is a conceptually new tool for the worst-case execution time (WCET) analysis of programs. A distinctive feature of
TuBound is the seamless integration of a WCET analysis component
and of a compiler in a uniform tool. TuBound enables the programmer
to provide hints improving the precision of the WCET computation on
the high-level program source code, while preserving the advantages of
using an optimizing compiler and the accuracy of a WCET analysis performed on the low-level machine code. This way, TuBound ideally serves
the needs of both the programmer and the WCET analysis by providing
them the interface on the very abstraction level that is most appropriate
and convenient to them.
In this paper we present the system architecture of TuBound, discuss
the internal work-flow of the tool, and report on first measurements using benchmarks from Mälardalen University. TuBound has also been
entered to the WCET Tool Challenge 2008.


Created from the Publication Database of the Vienna University of Technology.