[ main page ] [ back ]

36/2012 : Compiling for Time Predictability

RR Number
36/2012
Conference
SAFECOMP Workshops
Author(s)
Peter Puschner, Raimund Kirner, Daniel Prokesch, Benedikt Huber
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.
Bibtex
@incollection {springerlink:10.1007/978-3-642-33675-1_35,
   author = {Puschner, Peter and Kirner, Raimund and Huber, Benedikt and Prokesch, Daniel},
   affiliation = {Institute of Computer Engineering, Vienna University of Technology, Austria},
   title = {Compiling for Time Predictability},
   booktitle = {Computer Safety, Reliability, and Security},
   series = {Lecture Notes in Computer Science},
   editor = {Ortmeier, Frank and Daniel, Peter},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-642-33674-4},
   keyword = {Computer Science},
   pages = {382-391},
   volume = {7613},
   url = {http://dx.doi.org/10.1007/978-3-642-33675-1_35},
   note = {10.1007/978-3-642-33675-1_35},
   year = {2012}
}
Download

[ main page ] [ back ]