BibTeX
@MISC{Kirner_thewcet,
author = {Raimund Kirner},
title = {The WCET Analysis Tool CalcWcet167},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Determining upper bounds for the worst-case execution time (WCET) is mandatory to ensure timeliness of hard real-time systems. To be of practical use, such WCET estimates also have to be precise. In this paper we present the WCET analysis tool CalcWcet167, which supports the Infineon C167 processor as its main target. CalcWcet167 was designed with the goal to enable research on WCET analysis. This is achieved by interfacing to a modified version of the GCC compiler. Besides describing the tool by itself, we show what kind of useful research has been enabled by this approach. 1
