@inproceedings{97950bc1171d4bd69e7cc8ced3673b83,
title = "The WCET analysis tool CalcWcet167",
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.",
author = "Raimund Kirner",
year = "2012",
doi = "10.1007/978-3-642-34032-1_17",
language = "English",
isbn = "9783642340314",
volume = "7610 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Nature",
number = "PART 2",
pages = "158--172",
editor = "Tiziana Margaria and Steffen Bernhard",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Netherlands",
edition = "PART 2",
note = "5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012 ; Conference date: 15-10-2012 Through 18-10-2012",
}