elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

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

Dörr, Tobias und Schade, Florian und Marsing, Leonard und Ahlbrecht, Alexander und Zaeske, Wanja und Durak, Umut und 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), 2022-09-26 - 2022-09-28, Alès, France. doi: 10.1109/DS-RT55542.2022.9932069. ISBN 978-1-6654-9799-2. ISSN 1550-6525.

[img] PDF - Nur DLR-intern zugänglich
520kB

Kurzfassung

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.

elib-URL des Eintrags:https://elib.dlr.de/189882/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:A Behavior Specification and Simulation Methodology for Embedded Real-Time Software
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Dörr, TobiasKITNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Schade, FlorianKITNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Marsing, LeonardKITNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Ahlbrecht, AlexanderDLR, Institute of Flight SystemsNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Zaeske, WanjaDLR, Institute of Flight SystemsNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Durak, UmutDLR, Institute of Flight SystemsNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Becker, JürgenKITNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:November 2022
Erschienen in:26th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2022
Referierte Publikation:Nein
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Ja
In ISI Web of Science:Ja
DOI:10.1109/DS-RT55542.2022.9932069
ISSN:1550-6525
ISBN:978-1-6654-9799-2
Status:veröffentlicht
Stichwörter:Model-based design, real-time systems, embedded software, Logical Execution Time (LET), Ptolemy II, discrete-event simulation, avionics
Veranstaltungstitel:2022 IEEE/ACM 26th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)
Veranstaltungsort:Alès, France
Veranstaltungsart:internationale Konferenz
Veranstaltungsbeginn:26 September 2022
Veranstaltungsende:28 September 2022
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Luftfahrt
HGF - Programmthema:Komponenten und Systeme
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L CS - Komponenten und Systeme
DLR - Teilgebiet (Projekt, Vorhaben):L - Flugzeugsysteme
Standort: Braunschweig
Institute & Einrichtungen:Institut für Flugsystemtechnik
Institut für Flugsystemtechnik > Sichere Systeme und System Engineering
Hinterlegt von: Ahlbrecht, Alexander
Hinterlegt am:18 Jan 2023 18:06
Letzte Änderung:28 Mai 2024 10:30

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.