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

Tobias Dorr*, Florian Schade, Juergen Becker, Georgios Keramidas, Nikos Petrellis, Vasilios Kelefouras, Michail Mavropoulos, Konstantinos Antonopoulos, Christos P. Antonopoulos, Nikolaos Voros, Alexander Ahlbrecht, Wanja Zaeske, Vincent Janson, Philip Nöldeke, Umut Durak, Christos Panagiotou, Dimitris Karadimas, Nico Adler, Clemens Reichmann, Andreas SailerRaphael Weber, Thomas Wilhelm, Wolfgang Gabler, Katrin Weiden, Xavier Anzuela Recasens, Sakir Sezer, Fahad Siddiqui, Rafiullah Khan, Kieran McLaughlin, Sena Yengec Tasdemir, Balmukund Sonigara, Henry Hui, Esther Soriano Viguer, Aridane Alvarez Suarez, Vicente Nicolau Gallego, Manuel Muñoz Alcobendas, Miguel Masmano Tello

*Corresponding author for this work

Research output: Contribution to conferenceConference paper (not formally published)peer-review

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.
Original languageEnglish
Publication statusAccepted/In press - 16 Jan 2024
EventDesign, Automation and Test in Europe Conference: The European Event for Electronic System Design & Test - Valencia, Spain
Duration: 25 Mar 202427 Mar 2024
https://www.date-conference.com/programme

Conference

ConferenceDesign, Automation and Test in Europe Conference
Country/TerritorySpain
CityValencia
Period25/03/2427/03/24
Internet address

Fingerprint

Dive into the research topics of 'XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems'. Together they form a unique fingerprint.

Cite this