Essential Ingredients for a WCET Annotation Language∗

Within the last years, ambitions towards the defini-tion of common interfaces and the development of open frameworks have been increasing the efficiency of re-search on WCET analysis. The Annotation Language Challenge for WCET analysis has been proposed with the intention to underline the importance of such com-mon interfaces. Within this paper we present a list of essential in-gredients for a common WCET annotation language. These selected ingredients comprise a number of fea-tures 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 instantiation at different representation lev-els