Dieses Dokument steht unter einer CreativeCommons Lizenz by/3.0
Verlagslink: http://drops.dagstuhl.de/opus/volltexte/2018/8998
Verlagslink DOI: 10.4230/LIPIcs.ECRTS.2018.4
Titel: Compiler-based extraction of event arrival functions for real-time systems analysis
Sprache: English
Autor/Autorin: Oehlert, Dominic 
Saidi, Selma 
Falk, Heiko  
Schlagwörter: compiler;real-time;event arrival function;extraction
Erscheinungsdatum: Jul-2018
Verlag: Schloss Dagstuhl, Leibniz-Zentrum für Informatik
Quellenangabe: 30th Euromicro Conference on Real-Time Systems (ECRTS 2018), article no. 4; pp. 4:1-4:22
Zeitschrift oder Schriftenreihe: Leibniz International Proceedings in Informatics (LIPIcs) 
Konferenz: 30th Euromicro Conference on Real-Time Systems (ECRTS) 
Zusammenfassung (englisch): 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
Institut: Eingebettete Systeme E-13 
Dokumenttyp: (wissenschaftlicher) Artikel
Enthalten in den Sammlungen:tub.dok

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat
20180704-ecrts-oehlert.pdf624 kBAdobe PDFMiniaturbild
Öffnen/Anzeigen
Zur Langanzeige

Seitenansichten

49
Letzte Woche
0
Letzten Monat
1
checked on 12.12.2018

Download(s)

7
checked on 12.12.2018

Google ScholarTM

Prüfe

Export

Diese Ressource wurde unter folgender Copyright-Bestimmung veröffentlicht: Lizenz von Creative Commons Creative Commons