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

A Behavior Specification and Simulation Methodology for Embedded Real-Time Software

Dörr, Tobias and Schade, Florian and Marsing, Leonard and Ahlbrecht, Alexander and Zaeske, Wanja and Durak, Umut and Becker, Jürgen (2022) A Behavior Specification and Simulation Methodology for Embedded Real-Time Software. In: 26th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2022. 2022 IEEE/ACM 26th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), Alès, France. doi: 10.1109/DS-RT55542.2022.9932069. ISBN 978-1-6654-9799-2. ISSN 1550-6525.

[img] PDF - Only accessible within DLR
520kB

Abstract

Safety-critical real-time systems must be carefully designed to guarantee both functional and temporal correctness. State-of-the-art approaches to achieve this are often based on formal notations capturing both the desired functionality and relevant timing properties. This work is concerned with the design of embedded software systems for emerging fields such as the Urban Air Mobility (UAM) sector. In this context, it deals with scenarios that benefit from a less formal programming model, but for which guarantees on functional and timing behavior must still be provided. We propose a concept to specify and simulate the behavior of embedded real-time software in a deterministic manner. It combines the Logical Execution Time (LET) paradigm with a flexible, code-based approach for behavior specification and performs discrete-event (DE) simulations to determine how exactly the designed system responds to given stimuli. We describe this concept, present a reference implementation using Ptolemy II as simulation backend, and discuss its application to a pilot assistance system from the UAM sector.

Item URL in elib:https://elib.dlr.de/189882/
Document Type:Conference or Workshop Item (Speech)
Title:A Behavior Specification and Simulation Methodology for Embedded Real-Time Software
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Dörr, TobiasKITUNSPECIFIEDUNSPECIFIED
Schade, FlorianKITUNSPECIFIEDUNSPECIFIED
Marsing, LeonardKITUNSPECIFIEDUNSPECIFIED
Ahlbrecht, AlexanderDLR, Institute of Flight SystemsUNSPECIFIEDUNSPECIFIED
Zaeske, WanjaDLR, Institute of Flight SystemsUNSPECIFIEDUNSPECIFIED
Durak, UmutDLR, Institute of Flight SystemsUNSPECIFIEDUNSPECIFIED
Becker, JürgenKITUNSPECIFIEDUNSPECIFIED
Date:November 2022
Journal or Publication Title:26th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2022
Refereed publication:No
Open Access:No
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:Yes
DOI:10.1109/DS-RT55542.2022.9932069
ISSN:1550-6525
ISBN:978-1-6654-9799-2
Status:Published
Keywords:Model-based design, real-time systems, embedded software, Logical Execution Time (LET), Ptolemy II, discrete-event simulation, avionics
Event Title:2022 IEEE/ACM 26th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)
Event Location:Alès, France
Event Type:international Conference
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:Components and Systems
DLR - Research area:Aeronautics
DLR - Program:L CS - Components and Systems
DLR - Research theme (Project):L - Aircraft Systems
Location: Braunschweig
Institutes and Institutions:Institute of Flight Systems
Institute of Flight Systems > Safety Critical Systems&Systems Engineering
Deposited By: Ahlbrecht, Alexander
Deposited On:18 Jan 2023 18:06
Last Modified:13 Feb 2024 15:03

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.