@inproceedings{OSF18,
author = {Dominic Oehlert, Selma Saidi and Heiko Falk},
title = {Compiler-Based Extraction of Event Arrival Functions for Real-Time Systems Analysis.},
year = {2018},
pages = {4:1-4:22},
month = {July},
note = {doehlert, ssaidi, hfalk, ESD, WCC},
series = {20180704-ecrts-oehlert.pdf},
address = {Barcelona / Spain},
isbn = {10.4230/LIPIcs.ECRTS.2018.4},
howpublished = {18-75 OSF18 ECRTS},
booktitle = {In Proceedings of the 30th Euromicro Conference on Real-Time Systems (ECRTS)},
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.}
}

@COMMENT{Bibtex file generated on 2026-6-30 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/home/publications }