Talks and Poster Presentations (with Proceedings-Entry):
D. Prokesch, S Hepp, P. Puschner:
"A Generator for Time-Predictable Code";
Talk: 18th IEEE International Symposium on Real-Time Computing (ISORC 2015),
Auckland, New Zealand;
2015-04-13
- 2015-04-17; in: "Proc. 18th IEEE International Symposium on Real-Time Computing (ISORC 2015)",
IEEE,
(2015),
ISBN: 978-1-4799-8781-8;
27
- 34.
English abstract:
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.
Keywords:
single-path, code generator, time-predictable code, compiler, if-conversion
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/ISORC.2015.40