[Back]

N. Holsti, J. Gustafsson, G. Bernat, C. Ballabriga, A. Bonenfant, R. Bourgade, H. Cassé, D. Cordes, A. Kadlec, R. Kirner, J. Knoop, P. Lokuciejewski, N. Merriam, M. de Michiel, A. Prantl, B. Rieder, C. Rochange, P. Sainrat, M. Schordan:
"WCET Tool Challenge 2008: Report";
Talk: WCET 2008, Prague, Czech Republic; 2008-07-01; in: "Worst-Case Execution Time Analysis; Proceedings of the 8th International Workshop (WCET 2008)", Österreichische Computer Gesellschaft, (2008), ISBN: 978-3-85403-237-3; 149 - 171.

Following the successful WCET Tool Challenge in 2006, the second event in this series was
organized in 2008, again with support from the ARTIST2 Network of Excellence. The WCET Tool
Challenge 2008 (WCC'08) provides benchmark programs and poses a number of "analysis
problems" about the dynamic, run­time properties of these programs. The participants are
challenged to solve these problems with their program­analysis tools. Two kinds of problems are
defined: WCET problems, which ask for bounds on the execution time of chosen parts (sub­
programs) of the benchmarks, under given constraints on input data; and f low­analysis problems,
which ask for bounds on the number of times certain parts of the benchmark can be executed, again
under some constraints. We describe the organization of WCC'08, the benchmark programs, the
participating tools, and the general results, successes, and failures. Most participants found
WCC'08 to be a useful test of their tools. Unlike the 2006 Challenge, the WCC'08 participants
include several tools for the same target (ARM7, LPC2138), and tools that combine measurements
and static analysis, as well as pure static­analysis tools.

Project Head Raimund Kirner:
Compiler-Unterstützung für Zeitanalyse