Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Kirner, Raimund; Puschner, Peter https://www.dagstuhl.de/oasics License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-8154
URL:

;

Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis

pdf-format:


Abstract

Tools for worst-case execution time (WCET) analysis
request several code annotations from the user.
However, most of them could be avoided or being annotated
more comfortably if the compilers would support
WCET analysis.
This paper provides a clear categorization of code
annotations for WCET analysis and discusses the positive
impact on code annotations a compiler-support on
WCET analysis would have.

BibTeX - Entry

@InProceedings{kirner_et_al:OASIcs:2007:815,
  author =	{Raimund Kirner and Peter Puschner},
  title =	{{Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis}},
  booktitle =	{5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-24-8},
  ISSN =	{2190-6807},
  year =	{2007},
  volume =	{1},
  editor =	{Reinhard Wilhelm},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2007/815},
  URN =		{urn:nbn:de:0030-drops-8154},
  doi =		{10.4230/OASIcs.WCET.2005.815},
  annote =	{Keywords: Worst-Case Execution Time, WCET, Code Annotations, Path Information, Compiler, Real-Time}
}

Keywords: Worst-Case Execution Time, WCET, Code Annotations, Path Information, Compiler, Real-Time
Seminar: 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)
Issue date: 2007
Date of publication: 29.03.2007


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI