elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

DELOOP: Automatic Flow Facts Computation using Dynamic Symbolic Execution

Abaza, Hazem and Haj Hammadeh, Zain Alabedin and 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, 05 Jul 2022, Modena, Italy. doi: 10.4230/OASIcs.WCET.2022.3. ISBN 978-3-95977-244-0. ISSN 2190-6807.

[img] PDF
557kB

Official URL: https://drops.dagstuhl.de/opus/volltexte/2022/16625

Abstract

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.

Item URL in elib:https://elib.dlr.de/186919/
Document Type:Conference or Workshop Item (Lecture)
Title:DELOOP: Automatic Flow Facts Computation using Dynamic Symbolic Execution
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Abaza, HazemTU DortmundUNSPECIFIED
Haj Hammadeh, Zain AlabedinZain.HajHammadeh (at) dlr.dehttps://orcid.org/0000-0001-7539-2393
Lüdtke, DanielDaniel.Luedtke (at) dlr.dehttps://orcid.org/0000-0002-6758-1562
Date:2022
Journal or Publication Title:20th International Workshop on Worst-Case Execution Time Analysis, WCET 2022
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Volume:103
DOI:10.4230/OASIcs.WCET.2022.3
Page Range:3:1-3:12
Editors:
EditorsEmailEditor's ORCID iD
Ballabriga, Clémentclement.ballabriga@univ-lille.frUNSPECIFIED
Publisher:Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Series Name:OpenAccess Series in Informatics
ISSN:2190-6807
ISBN:978-3-95977-244-0
Status:Published
Keywords:Real-Time WCET Symbolic execution
Event Title:20th International Workshop on Worst-Case Execution Time Analysis
Event Location:Modena, Italy
Event Type:Workshop
Event Dates:05 Jul 2022
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space System Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Space System Technology
DLR - Research theme (Project):R - ScOSA Flight Experiment
Location: Braunschweig
Institutes and Institutions:Institute for Software Technology > Software for Space Systems and Interactive Visualisation
Deposited By: Haj Hammadeh, Zain Alabedin
Deposited On:22 Jul 2022 09:54
Last Modified:22 Jul 2022 09:54

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.