[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

D. Prokesch, S Hepp, P. Puschner:
"A Generator for Time-Predictable Code";
Vortrag: 18th IEEE International Symposium on Real-Time Computing (ISORC 2015), Auckland, New Zealand; 13.04.2015 - 17.04.2015; in: "Proc. 18th IEEE International Symposium on Real-Time Computing (ISORC 2015)", IEEE, (2015), ISBN: 978-1-4799-8781-8; S. 27 - 34.



Kurzfassung englisch:
Time-predictability is an essential property of software components of safety-critical hard real-time systems. Single-path code generation produces code that forces every execution to follow the same trace of instructions, thus making the execution time of code independent of its input data. This supports the time predictability of components and simplifies their worst-case execution-time analysis. In this paper we present the implementation of a single-path code generator in a compiler for a time-predictable processor. The evaluation on a real-world application shows that single-path code generation is a practicable strategy for the construction of time-predictable software components.

Schlagworte:
single-path, code generator, time-predictable code, compiler, if-conversion


"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/ISORC.2015.40


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.