Abaza, Hazem und Haj Hammadeh, Zain Alabedin und Lüdtke, Daniel (2022) DELOOP: Automatic Flow Facts Computation using Dynamic Symbolic Execution. In: 20th International Workshop on Worst-Case Execution Time Analysis, WCET 2022, 103, 3:1-3:12. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. 20th International Workshop on Worst-Case Execution Time Analysis, 2022-07-05, Modena, Italy. doi: 10.4230/OASIcs.WCET.2022.3. ISBN 978-395977244-0. ISSN 2190-6807.
![]() |
PDF
557kB |
Offizielle URL: https://drops.dagstuhl.de/opus/volltexte/2022/16625
Kurzfassung
Constructing a complete control-flow graph (CGF) and computing upper bounds on loops of a computing system are essential to safely estimate the worst-case execution time (WCET) of real-time tasks. WCETs are required for verifying the timing requirements of a real-time computing system. Therefore, we propose an analysis using dynamic symbolic execution (DSE) that detects and computes upper bounds on the loops, and resolves indirect jumps. The proposed analysis constructs and initializes memory models, then it uses a satisfiability modulo theories (SMT) solver to symbolically execute the instructions. The analysis showed higher precision in bounding loops of the Mälardalen benchmarks comparing to SWEET and oRange. We integrated our analysis with the OTAWA toolbox for performing a WCET analysis. Then, we used the proposed analysis for estimating the WCET of functions in a use case inspired by an aerospace project.
elib-URL des Eintrags: | https://elib.dlr.de/186919/ | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dokumentart: | Konferenzbeitrag (Vorlesung) | ||||||||||||||||
Titel: | DELOOP: Automatic Flow Facts Computation using Dynamic Symbolic Execution | ||||||||||||||||
Autoren: |
| ||||||||||||||||
Datum: | 2022 | ||||||||||||||||
Erschienen in: | 20th International Workshop on Worst-Case Execution Time Analysis, WCET 2022 | ||||||||||||||||
Referierte Publikation: | Ja | ||||||||||||||||
Open Access: | Ja | ||||||||||||||||
Gold Open Access: | Nein | ||||||||||||||||
In SCOPUS: | Ja | ||||||||||||||||
In ISI Web of Science: | Nein | ||||||||||||||||
Band: | 103 | ||||||||||||||||
DOI: | 10.4230/OASIcs.WCET.2022.3 | ||||||||||||||||
Seitenbereich: | 3:1-3:12 | ||||||||||||||||
Herausgeber: |
| ||||||||||||||||
Verlag: | Schloss Dagstuhl – Leibniz-Zentrum für Informatik | ||||||||||||||||
Name der Reihe: | OpenAccess Series in Informatics | ||||||||||||||||
ISSN: | 2190-6807 | ||||||||||||||||
ISBN: | 978-395977244-0 | ||||||||||||||||
Status: | veröffentlicht | ||||||||||||||||
Stichwörter: | Real-Time WCET Symbolic execution | ||||||||||||||||
Veranstaltungstitel: | 20th International Workshop on Worst-Case Execution Time Analysis | ||||||||||||||||
Veranstaltungsort: | Modena, Italy | ||||||||||||||||
Veranstaltungsart: | Workshop | ||||||||||||||||
Veranstaltungsdatum: | 5 Juli 2022 | ||||||||||||||||
HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||
HGF - Programm: | Raumfahrt | ||||||||||||||||
HGF - Programmthema: | Technik für Raumfahrtsysteme | ||||||||||||||||
DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||
DLR - Forschungsgebiet: | R SY - Technik für Raumfahrtsysteme | ||||||||||||||||
DLR - Teilgebiet (Projekt, Vorhaben): | R - ScOSA Flugexperiment | ||||||||||||||||
Standort: | Braunschweig | ||||||||||||||||
Institute & Einrichtungen: | Institut für Softwaretechnologie > Software für Raumfahrtsysteme und interaktive Visualisierung | ||||||||||||||||
Hinterlegt von: | Haj Hammadeh, Zain Alabedin | ||||||||||||||||
Hinterlegt am: | 22 Jul 2022 09:54 | ||||||||||||||||
Letzte Änderung: | 24 Apr 2024 20:48 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags