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

Automatic Deployment of Embedded Real-time Software Systems to Hypervisor-managed Platforms

Schade, Florian and Dörr, Tobias and Ahlbrecht, Alexander and Janson, Vincent Josef and Durak, Umut and Becker, Jürgen (2023) Automatic Deployment of Embedded Real-time Software Systems to Hypervisor-managed Platforms. 26th Euromicro Conference Series on Digital System Design (DSD), 2023-09-06 - 2023-09-08, Durres, Albanien. (In Press)

[img] PDF
414kB

Abstract

The deterministic integration of concurrent func- tions on shared multicore platforms is a challenging yet important task. Especially in safety-critical environments, hypervisors can be used to achieve time and space partitioning, but their sole application is often insufficient to guarantee deterministic timing and data flow behavior. Considering the growing complexity of modern embedded systems, for example in terms of functionality and mixed-criticality requirements, model-based approaches are a promising starting point to tackle this issue. In this work, we bridge the gap between a model-based behavior specification methodology based on the Logical Execution Time (LET) concept and target platforms running a commercially available bare- metal hypervisor. Therefore, this paper describes a runtime environment that implements LET semantics at the level of hypervisor partitions and a tool-supported design methodology that deploys software to this runtime environment. From a be- havior specification provided as a system model with annotated C code, the presented deployment tool generates binary images with guaranteed timing and data-flow behavior for the XtratuM hypervisor. The approach is finally validated by applying it to a Flight Assistance System (FAS) from the avionics domain.

Item URL in elib:https://elib.dlr.de/198723/
Document Type:Conference or Workshop Item (Speech)
Title:Automatic Deployment of Embedded Real-time Software Systems to Hypervisor-managed Platforms
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Schade, FlorianKITUNSPECIFIEDUNSPECIFIED
Dörr, TobiasKITUNSPECIFIEDUNSPECIFIED
Ahlbrecht, AlexanderUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Janson, Vincent JosefUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Durak, UmutUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Becker, JürgenKITUNSPECIFIEDUNSPECIFIED
Date:2023
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Status:In Press
Keywords:Model-based design, real-time systems, embedded software, Logical Execution Time~(LET), hypervisors
Event Title:26th Euromicro Conference Series on Digital System Design (DSD)
Event Location:Durres, Albanien
Event Type:international Conference
Event Start Date:6 September 2023
Event End Date:8 September 2023
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 > Safety Critical Systems&Systems Engineering
Institute of Flight Systems
Deposited By: Ahlbrecht, Alexander
Deposited On:22 Nov 2023 13:48
Last Modified:24 Apr 2024 20:59

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.