2026-07-23T13:24:35Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1197 2024-03-06T10:28:27Z ddc:004 open_access

WCET Analysis: The Annotation Language Challenge Kirner, Raimund Knoop, Jens Prantl, Adrian Schordan, Markus Wenzel, Ingomar Worst-case execution time analysis WCET path description annotation language challenge expressiveness convenience Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisfy hard real-time constraints. The expressiveness and usability of annotation languages, 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 and performance of these algorithms and tools. In this paper, we thus propose to complement the WCET tool challenge, which has recently successfully been launched, by a second closely related challenge: the WCET annotation language challenge. We believe that contributions towards mastering this challenge will be essential for the next major step of advancing the field of WCET analysis. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Raimund Kirner and Jens Knoop and Adrian Prantl and Markus Schordan and Ingomar Wenzel 2007 Is Part Of OASIcs, Volume 6, 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07) (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.WCET.2007.1197 urn:nbn:de:0030-drops-11974 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1197 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode