Compiler-based extraction of event arrival functions for real-time systems analysis

Media type: E-Article
Title: Compiler-based extraction of event arrival functions for real-time systems analysis
Contributor: Oehlert, Dominic [VerfasserIn]; Saidi, Selma [VerfasserIn]; Falk, Heiko [VerfasserIn]
Corporation: Technische Universität Hamburg ; Technische Universität Hamburg, Institute of Embedded Systems
imprint: 2018
Published in: Leibniz international proceedings in informatics ; (2008), 4, Seite 1-22
Language: English
DOI: 10.4230/LIPIcs.ECRTS.2018.4; 10.15480/882.1752
ISSN: 1868-8969
Identifier:

Keywords: compiler ; real-time ; event arrival function ; extraction
Origination:
Footnote:
Description: Event arrival functions are commonly required in real-time systems analysis. Yet, event arrival functions are often either modeled based on specifications or generated by using potentially unsafe captured traces. To overcome this shortcoming, we present a compiler-based approach to safely extract event arrival functions. The extraction takes place at the code-level considering a complete coverage of all possible paths in the program and resulting in a cycle accurate event arrival curve. In order to reduce the runtime overhead of the proposed algorithm, we extend our approach with an adjustable level of granularity always providing a safe approximation of the tightest possible event arrival curve. In an evaluation, we demonstrate that the required extraction time can be heavily reduced while maintaining a high precision.
Access State: Open Access

Search in field: