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

XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems

Dörr, Tobias and Schade, Florian and Becker, Jürgen and Keramidas, Georgios and Petrellis, Nikos and Kelefouras, Vasilios and Mavropoulos, Michail and Antonopoulos, Konstantinos and Antonopoulos, Christos and Voros, Nikolaos and Ahlbrecht, Alexander and Zaeske, Wanja Marlo Moritz and Janson, Vincent Josef and Nöldeke, Phillip and Durak, Umut and Panagiotou, Christos and Karamidas, Dimitris and Adler, Nico and Reichmann, Clemens and Sailer, Andreas and Weber, Raphael and Wilhelm, Thomas and Gabler, Wolfgang and Weiden, Katrin and Anzuela Recasens, Xavier and Sezar, Sakir and Siddiqui, Fahad and Khan, Rafiullah and McLaughlin, Kieran and Tasdemir, Sena and Sonigara, Balmukund and Hui, Henry and Soriano Viguer, Esther and Alvarez Suarez, Aridane and Nicolau Gallego, Vincente and Munoz Alcobendas, Manuel and Masmano Tello, Miguel (2024) XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems. In: 2024 Design, Automation and Test in Europe Conference and Exhibition, DATE 2024. Automation & Test in Europe Conference (DATE 2024), 2024-03-25, Valencia, Spain. doi: 10.23919/DATE58400.2024.10546852. ISBN 979-835034859-0. ISSN 1530-1591.

[img] PDF - Only accessible within DLR
975kB

Abstract

The safe and secure implementation of increasingly complex features is a major challenge in the development of autonomous and distributed embedded systems. Automated design-time procedures that guarantee the fulfillment of critical system properties are a promising approach to tackle this challenge. In the European project XANDAR, which took place from 2021 to 2023, eight partners developed an X-by-Construction (XbC) design framework to support developers in the creation of embedded software systems with certain safety, security, and real-time properties. The design framework combines a model-based toolchain with a hypervisor-based runtime architecture. It targets modern high-performance hardware, facilitates the integration of machine learning applications, and employs a library of trusted safety and security patterns to reduce the implementation and verification effort. This paper describes the concepts developed during the project, the prototypical implementation of the design framework, and its application in both an automotive and an avionics use case.

Item URL in elib:https://elib.dlr.de/208955/
Document Type:Conference or Workshop Item (Speech)
Title:XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Dörr, TobiasKITUNSPECIFIEDUNSPECIFIED
Schade, FlorianKITUNSPECIFIEDUNSPECIFIED
Becker, JürgenKITUNSPECIFIEDUNSPECIFIED
Keramidas, GeorgiosUoPUNSPECIFIEDUNSPECIFIED
Petrellis, NikosUoPUNSPECIFIEDUNSPECIFIED
Kelefouras, VasiliosUoPUNSPECIFIEDUNSPECIFIED
Mavropoulos, MichailUoPUNSPECIFIEDUNSPECIFIED
Antonopoulos, KonstantinosUoPUNSPECIFIEDUNSPECIFIED
Antonopoulos, ChristosUoPUNSPECIFIEDUNSPECIFIED
Voros, NikolaosUoPUNSPECIFIEDUNSPECIFIED
Ahlbrecht, AlexanderUNSPECIFIEDhttps://orcid.org/0009-0004-6646-776XUNSPECIFIED
Zaeske, Wanja Marlo MoritzUNSPECIFIEDhttps://orcid.org/0000-0002-1427-2627UNSPECIFIED
Janson, Vincent JosefUNSPECIFIEDhttps://orcid.org/0009-0009-3684-0697UNSPECIFIED
Nöldeke, PhillipUNSPECIFIEDhttps://orcid.org/0009-0008-1537-2890UNSPECIFIED
Durak, UmutUNSPECIFIEDhttps://orcid.org/0000-0002-2928-1710UNSPECIFIED
Panagiotou, ChristosAVNUNSPECIFIEDUNSPECIFIED
Karamidas, DimitrisAVNUNSPECIFIEDUNSPECIFIED
Adler, NicoVectorUNSPECIFIEDUNSPECIFIED
Reichmann, ClemensVectorUNSPECIFIEDUNSPECIFIED
Sailer, AndreasVectorUNSPECIFIEDUNSPECIFIED
Weber, RaphaelVectorUNSPECIFIEDUNSPECIFIED
Wilhelm, ThomasVectorUNSPECIFIEDUNSPECIFIED
Gabler, WolfgangBMWUNSPECIFIEDUNSPECIFIED
Weiden, KatrinBMWUNSPECIFIEDUNSPECIFIED
Anzuela Recasens, XavierBMWUNSPECIFIEDUNSPECIFIED
Sezar, SakirQUBUNSPECIFIEDUNSPECIFIED
Siddiqui, FahadQUBUNSPECIFIEDUNSPECIFIED
Khan, RafiullahQUBUNSPECIFIEDUNSPECIFIED
McLaughlin, KieranQUBUNSPECIFIEDUNSPECIFIED
Tasdemir, SenaQUBUNSPECIFIEDUNSPECIFIED
Sonigara, BalmukundQUBUNSPECIFIEDUNSPECIFIED
Hui, HenryQUBUNSPECIFIEDUNSPECIFIED
Soriano Viguer, EstherFENUNSPECIFIEDUNSPECIFIED
Alvarez Suarez, AridaneFENUNSPECIFIEDUNSPECIFIED
Nicolau Gallego, VincenteFENUNSPECIFIEDUNSPECIFIED
Munoz Alcobendas, ManuelFENUNSPECIFIEDUNSPECIFIED
Masmano Tello, MiguelFENUNSPECIFIEDUNSPECIFIED
Date:2024
Journal or Publication Title:2024 Design, Automation and Test in Europe Conference and Exhibition, DATE 2024
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:No
DOI:10.23919/DATE58400.2024.10546852
ISSN:1530-1591
ISBN:979-835034859-0
Status:Published
Keywords:X-by-Construction, model-based development, real-time systems, safety-critical systems, hypervisors
Event Title:Automation & Test in Europe Conference (DATE 2024)
Event Location:Valencia, Spain
Event Type:international Conference
Event Date:25 March 2024
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:25 Nov 2024 18:35
Last Modified:04 Feb 2026 15:52

Repository Staff Only: item control page
Browse
Search
Help & Contact
Information
OpenAIRE Validator logo electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.