Worst-case execution time (WCET) analysis is indispensable for the successful design and development#R##N#of systems, which, in addition to their functional constraints, have to satisfy hard real-time constraints. The#R##N#expressiveness and usability of annotation languages,#R##N#which are used by algorithms and tools for WCET analysis in order to separate feasible from infeasible program paths, have a crucial impact on the precision#R##N#and performance of these algorithms and tools. In#R##N#this paper, we thus propose to complement the WCET#R##N#tool challenge, which has recently successfully been#R##N#launched, by a second closely related challenge: the#R##N#WCET annotation language challenge. We believe that#R##N#contributions towards mastering this challenge will be#R##N#essential for the next major step of advancing the field#R##N#of WCET analysis.
['Raimund Kirner', 'Jens Knoop', 'Adrian Prantl', 'Markus Schordan', 'Ingomar Wenzel']
WCET Analysis: The Annotation Language Challenge