[Back]


Contributions to Proceedings:

A. Prantl, M. Schordan, J. Knoop:
"TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis";
in: "Dagstuhl Seminar Proceedings 08003", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Germany, 2008, ISBN: 978-3-939897-10-1, 8 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 ̈alardalen University. TUBOUND
took also part in the WCET Tool Challenge 2008.

Keywords:
WCET

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