WCET Analysis: The Annotation Language Challenge

Authors Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel



PDF
Thumbnail PDF

File

OASIcs.WCET.2007.1197.pdf
  • Filesize: 349 kB
  • 17 pages

Document Identifiers

Author Details

Raimund Kirner
Jens Knoop
Adrian Prantl
Markus Schordan
Ingomar Wenzel

Cite As Get BibTex

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, and Ingomar Wenzel. WCET Analysis: The Annotation Language Challenge. In 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07). Open Access Series in Informatics (OASIcs), Volume 6, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007) https://doi.org/10.4230/OASIcs.WCET.2007.1197

Abstract

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.

Subject Classification

Keywords
  • Worst-case execution time analysis
  • WCET
  • path description
  • annotation language challenge
  • expressiveness
  • convenience

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail