Please use this identifier to cite or link to this item: https://doi.org/10.15480/882.1752
This item is licensed with a CreativeCommons licence by/3.0
Publisher URL: http://drops.dagstuhl.de/opus/volltexte/2018/8998
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
Journal or Series Name: Leibniz International Proceedings in Informatics (LIPIcs) 
Conference: 30th Euromicro Conference on Real-Time Systems (ECRTS) 
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.
URI: http://tubdok.tub.tuhh.de/handle/11420/1755
DOI: 10.15480/882.1752
ISSN: 1868-8969
Institute: Eingebettete Systeme E-13 
Type: (wissenschaftlicher) Artikel
Appears in Collections:Publications (tub.dok)

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

Page view(s)

72
Last Week
0
Last month
9
checked on May 22, 2019

Download(s)

15
checked on May 22, 2019

Google ScholarTM

Check

Export

This item is licensed under a Creative Commons License Creative Commons