TuBound – A Conceptually New Tool for Worst-Case Execution Time Analysis

Abstract TuBound is a conceptually new tool for the worst-case ex-ecution 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 per-formed 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 us-ing benchmarks from Mälardalen University. TuBound has also been entered to the WCET Tool Challenge 2008.