Please use this identifier to cite or link to this item:
Publisher DOI: 10.4230/LIPIcs.ECRTS.2018.4
Title: Compiler-based extraction of event arrival functions for real-time systems analysis
Language: English
Authors: Oehlert, Dominic 
Saidi, Selma 
Falk, Heiko  
Keywords: compiler;real-time;event arrival function;extraction
Issue Date: Jul-2018
Publisher: Schloss Dagstuhl, Leibniz-Zentrum für Informatik
Source: 30th Euromicro Conference on Real-Time Systems (ECRTS 2018), article no. 4; pp. 4:1-4:22
Part of Series: Leibniz International Proceedings in Informatics (LIPIcs) 
Volume number: 106
Abstract (english): 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.
Conference: 30th Euromicro Conference on Real-Time Systems (ECRTS) 
DOI: 10.15480/882.1752
ISSN: 1868-8969
Institute: Eingebettete Systeme E-13 
Type: (wissenschaftlicher) Artikel
License: CC BY 3.0 (Attribution) CC BY 3.0 (Attribution)
Appears in Collections:Publications with fulltext

Files in This Item:
File Description SizeFormat
20180704-ecrts-oehlert.pdf624 kBAdobe PDFThumbnail
Show full item record

Page view(s)

Last Week
Last month
checked on Oct 21, 2020


checked on Oct 21, 2020

Google ScholarTM


Note about this record


This item is licensed under a Creative Commons License Creative Commons