Options
Compiler-based extraction of event arrival functions for real-time systems analysis
Citation Link: https://doi.org/10.15480/882.1752
Publikationstyp
Conference Paper
Date Issued
2018-07
Sprache
English
Author(s)
Institut
TORE-DOI
First published in
Number in series
106
Start Page
4:1
End Page
4:22
Citation
30th Euromicro Conference on Real-Time Systems (ECRTS 2018)
Contribution to Conference
Publisher DOI
Scopus ID
Publisher
Schloss Dagstuhl, Leibniz-Zentrum für Informatik
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.
Subjects
compiler
real-time
event arrival function
extraction
DDC Class
620: Ingenieurwissenschaften
Loading...
Name
20180704-ecrts-oehlert.pdf
Size
624 KB
Format
Adobe PDF