Publications of Heiko Falk

[176845]
Title: Compiler-Based Extraction of Event Arrival Functions for Real-Time Systems Analysis. <em>In Proceedings of the 30th Euromicro Conference on Real-Time Systems (ECRTS)</em>
Written by: Dominic Oehlert, Selma Saidi and Heiko Falk
in: July (2018).
Volume: Number:
on pages: 4:1-4:22
Chapter:
Editor:
Publisher:
Series: 20180704-ecrts-oehlert.pdf
Address: Barcelona / Spain
Edition:
ISBN: 10.4230/LIPIcs.ECRTS.2018.4
how published: 18-75 OSF18 ECRTS
Organization:
School:
Institution:
Type:
DOI:
URL:
ARXIVID:
PMID:

Note: doehlert, ssaidi, hfalk, ESD, WCC

Abstract: 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.