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 Sailer; Raphael 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

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 Sailer

Raphael 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

Karlsruhe Institute of Technology
Technological Educational Institute of Western Greece
Aristotle University of Thessaloniki
S.A. An Applied Materials Company
University of Peloponnese
German Aerospace Center
Avn Innovative Technology Solutions Limited
Vector Informatik GmbH
Bayerische Motoren Werke Aktiengesellschaft (BMW)
Queen's University Belfast
FENT INNOVATIVE SOFTWARE SOLUTIONSSL

Research output: Contribution to conference › Conference paper (not formally published) › peer-review

5 Downloads (Pure)

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 language	English
Publication status	Accepted - 16 Jan 2024
Event	Design, Automation and Test in Europe Conference: The European Event for Electronic System Design & Test - Valencia, Spain Duration: 25 Mar 2024 → 27 Mar 2024 https://www.date-conference.com/programme

Conference

Conference	Design, Automation and Test in Europe Conference
Country/Territory	Spain
City	Valencia
Period	25/03/24 → 27/03/24
Internet address	https://www.date-conference.com/programme

Access to Document

dateAccepted author manuscript, 917 KB

Cite this

Dorr, T., Schade, F., Becker, J., Keramidas, G., Petrellis, N., Kelefouras, V., Mavropoulos, M., Antonopoulos, K., Antonopoulos, C. P., Voros, N., Ahlbrecht, A., Zaeske, W., Janson, V., Nöldeke, P., Durak, U., Panagiotou, C., Karadimas, D., Adler, N., Reichmann, C., ... Masmano Tello, M. (Accepted). XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems. Paper presented at Design, Automation and Test in Europe Conference, Valencia, Spain.

@conference{a70e311f4ef14e6ba730be7da10bbe19,

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

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.",

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

year = "2024",

month = jan,

day = "16",

language = "English",

note = "Design, Automation and Test in Europe Conference : The European Event for Electronic System Design \& Test ; Conference date: 25-03-2024 Through 27-03-2024",

url = "https://www.date-conference.com/programme",

}

Dorr, T, Schade, F, Becker, J, Keramidas, G, Petrellis, N, Kelefouras, V, Mavropoulos, M, Antonopoulos, K, Antonopoulos, CP, Voros, N, Ahlbrecht, A, Zaeske, W, Janson, V, Nöldeke, P, Durak, U, Panagiotou, C, Karadimas, D, Adler, N, Reichmann, C, Sailer, A, Weber, R, Wilhelm, T, Gabler, W, Weiden, K, Anzuela Recasens, X, Sezer, S, Siddiqui, F, Khan, R, McLaughlin, K, Yengec Tasdemir, S, Sonigara, B, Hui, H, Soriano Viguer, E, Alvarez Suarez, A, Nicolau Gallego, V, Muñoz Alcobendas, M & Masmano Tello, M 2024, 'XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems', Paper presented at Design, Automation and Test in Europe Conference, Valencia, Spain, 25/03/24 - 27/03/24.

TY - CONF

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

AU - Dorr, Tobias

AU - Schade, Florian

AU - Becker, Juergen

AU - Keramidas, Georgios

AU - Petrellis, Nikos

AU - Kelefouras, Vasilios

AU - Mavropoulos, Michail

AU - Antonopoulos, Konstantinos

AU - Antonopoulos, Christos P.

AU - Voros, Nikolaos

AU - Ahlbrecht, Alexander

AU - Zaeske, Wanja

AU - Janson, Vincent

AU - Nöldeke, Philip

AU - Durak, Umut

AU - Panagiotou, Christos

AU - Karadimas, Dimitris

AU - Adler, Nico

AU - Reichmann, Clemens

AU - Sailer, Andreas

AU - Weber, Raphael

AU - Wilhelm, Thomas

AU - Gabler, Wolfgang

AU - Weiden, Katrin

AU - Anzuela Recasens, Xavier

AU - Sezer, Sakir

AU - Siddiqui, Fahad

AU - Khan, Rafiullah

AU - McLaughlin, Kieran

AU - Yengec Tasdemir, Sena

AU - Sonigara, Balmukund

AU - Hui, Henry

AU - Soriano Viguer, Esther

AU - Alvarez Suarez, Aridane

AU - Nicolau Gallego, Vicente

AU - Muñoz Alcobendas, Manuel

AU - Masmano Tello, Miguel

PY - 2024/1/16

Y1 - 2024/1/16

N2 - 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.

AB - 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.

UR - https://pearl.plymouth.ac.uk/secam-research/2139/

M3 - Conference paper (not formally published)

T2 - Design, Automation and Test in Europe Conference

Y2 - 25 March 2024 through 27 March 2024

ER -

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

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this