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

Kirner, Raimund; Puschner, Peter

doi:10.4230/OASIcs.WCET.2005.815

Document

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

Authors Raimund Kirner, Peter Puschner

Part of: Volume: 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05) (WCET 2005)
Part of: Series: Open Access Series in Informatics (OASIcs)
Part of: Conference: Workshop on Worst-Case Execution Time Analysis (WCET)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2007-03-29

PDF

File

PDF

OASIcs.WCET.2005.815.pdf

Filesize: 185 kB
5 pages

Document Identifiers

DOI: 10.4230/OASIcs.WCET.2005.815
URN: urn:nbn:de:0030-drops-8154

Subject Classification

Keywords

Worst-Case Execution Time
WCET
Code Annotations
Path Information
Compiler
Real-Time

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get BibTex

Raimund Kirner and Peter Puschner. Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis. In 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05). Open Access Series in Informatics (OASIcs), Volume 1, pp. 41-45, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007) https://doi.org/10.4230/OASIcs.WCET.2005.815

Author Details

Raimund Kirner

Peter Puschner

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail