Towards a Common WCET Annotation Language: Essential Ingredients. To appear (2008)
| Venue: | in Proceedings of the 8th International Workshop on WorstCase Execution Time Analysis (WCET 2008 |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Kirner08towardsa,
author = {Raimund Kirner and Albrecht Kadlec and Peter Puschner and Adrian Prantl and Markus Schordan and Jens Knoop},
title = {Towards a Common WCET Annotation Language: Essential Ingredients. To appear},
booktitle = {in Proceedings of the 8th International Workshop on WorstCase Execution Time Analysis (WCET 2008},
year = {2008}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Within the last years, ambitions towards the definition of common interfaces and the development of open frameworks have increased the efficiency of research on WCET analysis. The Annotation Language Challenge for WCET analysis has been proposed in line with these ambitions in order to push the development of common interfaces also to the level of annotation languages, which are crucial for the power of WCET analysis tools. In this paper we present a list of essential ingredients for a common WCET annotation language. The selected ingredients comprise a number of features available in different WCET analysis tools and add several new concepts we consider important. The annotation concepts are described in an abstract format that can be instantiated at different representation levels. Keywords: Worst-case execution time (WCET) analysis, annotation languages, WCET annotation language challenge. 1. Why a Common WCET Annotation Language? The situation for WCET analysis is very heterogeneous. Within the real-time community it is a well known fact that manual annotations are needed to assist non-perfect analyses. Various tools
