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.
M3 - Conference paper (not formally published)
T2 - Design, Automation and Test in Europe Conference
Y2 - 25 March 2024 through 27 March 2024
ER -