@inproceedings{8b01150cc8604695a10c9f23a3d37d9d,
title = "Compiling for time predictability",
abstract = "Within the T-CREST project we work on hardware/software architectures and code-generation strategies for time-predictable embedded and cyber-physical systems. In this paper we present the single-path code generation approach that we plan to explore and implement in a compiler prototype for a time- predictable processor. Single-path code generation produces code that forces every execution to follow the same trace of instructions, thus supporting time predictability and simplifying the worst-case execution-time analysis of code. The idea of the single-path generation and details about the code-generation rules of the compiler can be found in this work.",
keywords = "compilers, real-time systems, time predictability, worst-case execution-time analysis",
author = "Peter Puschner and Raimund Kirner and Benedikt Huber and Daniel Prokesch",
year = "2012",
doi = "10.1007/978-3-642-33675-1_35",
language = "English",
isbn = "9783642336744",
volume = "7613 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Nature Link",
pages = "382--391",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Netherlands",
note = "Workshop on Computer Safety, Reliability, and Security, SAFECOMP 2012 ; Conference date: 25-09-2012 Through 28-09-2012",
}