Talks and Poster Presentations (with Proceedings-Entry):
A. Kadlec, R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel:
"WCET Annotation Languages Reconsidered: The Annotation Language Challenge";
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:
Abstract Worst-case execution time (WCET) analysis is a prerequisite
for successfully designing and developing systems, which have to satisfy hard real-time constraints. Of key importance for the precision and performance of algorithms and tools for WCET analysis are the expressiveness and usability of annotation languages, which are routinely used by developers for providing WCET algorithms and tools with hints for separating feasible from infeasible program paths.
Reconsidering and assessing the strengths and limitations of current annotation languages, we believe that contributions towards further enhancing their power and towards a commonly accepted uniform annotation language will be essential for the next ma jor step of advancing the field of WCET analysis. To foster this development we have recently proposed the WCET annotation language challenge. This challenge complements the already earlier successfully launched WCET tool challenge. In this paper we summarize the essential features of current annotation languages and recall the WCET annotation language challenge derived from their assessment.