XANDAR: X-by-construction design framework for engineering autonomous and distributed real-time embedded software systems

Fahad Siddiqui; Rafiullah Khan; Vahid Garousi; Sakir Sezer; Jürgen Becker; Leonard Masing; Tobias Dörr; Florian Schade; Georgios Keramidas; Christos P. Antonopoulos; Michail Mavropoulos; Efstratios Tiganourias; Vasilios Kelefouras; Konstantinos Antonopoulos; Nikolaos Voros; Umut Durak; Alexander Ahlbrecht; Wanja Zaeske; Christos Panagiotou; Dimitris Karadimas; Nico Adler; Andreas Sailer; Raphael Weber; Thomas Wilhelm; Florian Oszwald; Dominik Reinhardt; Mohamad Chamas; Adnan Bekan; Graham Smethurst; Victor Morales

doi:10.1109/FPL53798.2021.00075

XANDAR: X-by-construction design framework for engineering autonomous and distributed real-time embedded software systems

Fahad Siddiqui, Rafiullah Khan, Vahid Garousi, Sakir Sezer, Jürgen Becker, Leonard Masing, Tobias Dörr, Florian Schade, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Efstratios Tiganourias, Vasilios Kelefouras, Konstantinos Antonopoulos, Nikolaos Voros, Umut Durak, Alexander Ahlbrecht, Wanja Zaeske, Christos Panagiotou, Dimitris KaradimasNico Adler, Andreas Sailer, Raphael Weber, Thomas Wilhelm, Florian Oszwald, Dominik Reinhardt, Mohamad Chamas, Adnan Bekan, Graham Smethurst, Victor Morales

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

Abstract

The next generation of networked embedded systems (ES) necessitates rapid prototyping and high performance while maintaining key qualities like trustworthiness and safety. However, development of safety-critical ES suffers from complex software (SW) toolchains and engineering processes. Moreover, the current trend in autonomous systems, which relies on Machine Learning (ML) and AI applications when combined with fail-operational requirements renders the Verification and Validation (V&V) of these new systems a challenging endeavor. Prime examples are Advanced Driver-Assistance Systems (ADAS) that are prone to various safety/security vulnerabilities. The XANDAR project aims at developing a mature SW toolchain (from requirements analysis to the actual code integration on target including V&V) fulfilling the needs of industry for rapid prototyping of interoperable and autonomous ES. Starting from a model-based system architecture, XANDAR will leverage automatic model synthesis and software parallelization techniques to achieve specific non-functional requirements setting the foundation for a novel (real-time, safety-, and security)-by-Construction paradigm.

Original language	English
Title of host publication	XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems: Proceedings
Pages	382 - 383
Number of pages	2
DOIs	https://doi.org/10.1109/FPL53798.2021.00075
Publication status	Published - 12 Oct 2021
Event	International Conference on Field-Programmable Logic and Applications (FPL) - Dresden, Germany Duration: 30 Aug 2021 → 03 Sept 2021 https://cfaed.tu-dresden.de/fpl2021/welcome-to-fpl2021

Publication series

Name	International Conference on Field-Programmable Logic and Applications (FPL)
Publisher	IEEE
ISSN (Print)	1946-147X
ISSN (Electronic)	1946-1488

Conference

Conference	International Conference on Field-Programmable Logic and Applications (FPL)
Abbreviated title	FPL
Country/Territory	Germany
City	Dresden
Period	30/08/2021 → 03/09/2021
Internet address	https://cfaed.tu-dresden.de/fpl2021/welcome-to-fpl2021

Bibliographical note

Funding Information:
ACKNOWLEDGMENT This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 957210.

Publisher Copyright:
© 2021 EDAA.

Keywords

Automotive
Autonomous Systems
Secure-by-design
X-by-construction
Functional Safety
Model-based
Cyber defence
Security framework

ASJC Scopus subject areas

General Computer Science
General Engineering
Software
Information Systems
Automotive Engineering
Aerospace Engineering
Industrial and Manufacturing Engineering
Safety, Risk, Reliability and Quality

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1109/FPL53798.2021.00075Licence: Unspecified

Cite this

Siddiqui, F., Khan, R., Garousi, V., Sezer, S., Becker, J., Masing, L., Dörr, T., Schade, F., Keramidas, G., Antonopoulos, C. P., Mavropoulos, M., Tiganourias, E., Kelefouras, V., Antonopoulos, K., Voros, N., Durak, U., Ahlbrecht, A., Zaeske, W., Panagiotou, C., ... Morales, V. (2021). XANDAR: X-by-construction design framework for engineering autonomous and distributed real-time embedded software systems. In XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems: Proceedings (pp. 382 - 383). (International Conference on Field-Programmable Logic and Applications (FPL)). https://doi.org/10.1109/FPL53798.2021.00075

Siddiqui, Fahad ; Khan, Rafiullah ; Garousi, Vahid et al. / XANDAR: X-by-construction design framework for engineering autonomous and distributed real-time embedded software systems. XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems: Proceedings. 2021. pp. 382 - 383 (International Conference on Field-Programmable Logic and Applications (FPL)).

@inproceedings{c12e7edc4c8b4875b84096eab8a842d9,

title = "XANDAR: X-by-construction design framework for engineering autonomous and distributed real-time embedded software systems",

abstract = "The next generation of networked embedded systems (ES) necessitates rapid prototyping and high performance while maintaining key qualities like trustworthiness and safety. However, development of safety-critical ES suffers from complex software (SW) toolchains and engineering processes. Moreover, the current trend in autonomous systems, which relies on Machine Learning (ML) and AI applications when combined with fail-operational requirements renders the Verification and Validation (V&V) of these new systems a challenging endeavor. Prime examples are Advanced Driver-Assistance Systems (ADAS) that are prone to various safety/security vulnerabilities. The XANDAR project aims at developing a mature SW toolchain (from requirements analysis to the actual code integration on target including V&V) fulfilling the needs of industry for rapid prototyping of interoperable and autonomous ES. Starting from a model-based system architecture, XANDAR will leverage automatic model synthesis and software parallelization techniques to achieve specific non-functional requirements setting the foundation for a novel (real-time, safety-, and security)-by-Construction paradigm.",

keywords = "Automotive, Autonomous Systems, Secure-by-design, X-by-construction, Functional Safety, Model-based, Cyber defence, Security framework",

author = "Fahad Siddiqui and Rafiullah Khan and Vahid Garousi and Sakir Sezer and J{\"u}rgen Becker and Leonard Masing and Tobias D{\"o}rr and Florian Schade and Georgios Keramidas and Antonopoulos, {Christos P.} and Michail Mavropoulos and Efstratios Tiganourias and Vasilios Kelefouras and Konstantinos Antonopoulos and Nikolaos Voros and Umut Durak and Alexander Ahlbrecht and Wanja Zaeske and Christos Panagiotou and Dimitris Karadimas and Nico Adler and Andreas Sailer and Raphael Weber and Thomas Wilhelm and Florian Oszwald and Dominik Reinhardt and Mohamad Chamas and Adnan Bekan and Graham Smethurst and Victor Morales",

note = "Funding Information: ACKNOWLEDGMENT This project has received funding from the European Union{\textquoteright}s Horizon 2020 research and innovation programme under grant agreement No 957210. Publisher Copyright: {\textcopyright} 2021 EDAA.; International Conference on Field-Programmable Logic and Applications (FPL), FPL ; Conference date: 30-08-2021 Through 03-09-2021",

year = "2021",

month = oct,

day = "12",

doi = "10.1109/FPL53798.2021.00075",

language = "English",

series = "International Conference on Field-Programmable Logic and Applications (FPL)",

publisher = "IEEE",

pages = "382 -- 383",

booktitle = "XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems: Proceedings",

url = "https://cfaed.tu-dresden.de/fpl2021/welcome-to-fpl2021",

}

Siddiqui, F, Khan, R, Garousi, V , Sezer, S, Becker, J, Masing, L, Dörr, T, Schade, F, Keramidas, G, Antonopoulos, CP, Mavropoulos, M, Tiganourias, E, Kelefouras, V, Antonopoulos, K, Voros, N, Durak, U, Ahlbrecht, A, Zaeske, W, Panagiotou, C, Karadimas, D, Adler, N, Sailer, A, Weber, R, Wilhelm, T, Oszwald, F, Reinhardt, D, Chamas, M, Bekan, A, Smethurst, G & Morales, V 2021, XANDAR: X-by-construction design framework for engineering autonomous and distributed real-time embedded software systems. in XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems: Proceedings. International Conference on Field-Programmable Logic and Applications (FPL), pp. 382 - 383, International Conference on Field-Programmable Logic and Applications (FPL), Dresden, Germany, 30/08/2021. https://doi.org/10.1109/FPL53798.2021.00075

XANDAR: X-by-construction design framework for engineering autonomous and distributed real-time embedded software systems. / Siddiqui, Fahad; Khan, Rafiullah; Garousi, Vahid et al.
XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems: Proceedings. 2021. p. 382 - 383 (International Conference on Field-Programmable Logic and Applications (FPL)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - XANDAR: X-by-construction design framework for engineering autonomous and distributed real-time embedded software systems

AU - Siddiqui, Fahad

AU - Khan, Rafiullah

AU - Garousi, Vahid

AU - Sezer, Sakir

AU - Becker, Jürgen

AU - Masing, Leonard

AU - Dörr, Tobias

AU - Schade, Florian

AU - Keramidas, Georgios

AU - Antonopoulos, Christos P.

AU - Mavropoulos, Michail

AU - Tiganourias, Efstratios

AU - Kelefouras, Vasilios

AU - Antonopoulos, Konstantinos

AU - Voros, Nikolaos

AU - Durak, Umut

AU - Ahlbrecht, Alexander

AU - Zaeske, Wanja

AU - Panagiotou, Christos

AU - Karadimas, Dimitris

AU - Adler, Nico

AU - Sailer, Andreas

AU - Weber, Raphael

AU - Wilhelm, Thomas

AU - Oszwald, Florian

AU - Reinhardt, Dominik

AU - Chamas, Mohamad

AU - Bekan, Adnan

AU - Smethurst, Graham

AU - Morales, Victor

N1 - Funding Information: ACKNOWLEDGMENT This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 957210. Publisher Copyright: © 2021 EDAA.

PY - 2021/10/12

Y1 - 2021/10/12

N2 - The next generation of networked embedded systems (ES) necessitates rapid prototyping and high performance while maintaining key qualities like trustworthiness and safety. However, development of safety-critical ES suffers from complex software (SW) toolchains and engineering processes. Moreover, the current trend in autonomous systems, which relies on Machine Learning (ML) and AI applications when combined with fail-operational requirements renders the Verification and Validation (V&V) of these new systems a challenging endeavor. Prime examples are Advanced Driver-Assistance Systems (ADAS) that are prone to various safety/security vulnerabilities. The XANDAR project aims at developing a mature SW toolchain (from requirements analysis to the actual code integration on target including V&V) fulfilling the needs of industry for rapid prototyping of interoperable and autonomous ES. Starting from a model-based system architecture, XANDAR will leverage automatic model synthesis and software parallelization techniques to achieve specific non-functional requirements setting the foundation for a novel (real-time, safety-, and security)-by-Construction paradigm.

AB - The next generation of networked embedded systems (ES) necessitates rapid prototyping and high performance while maintaining key qualities like trustworthiness and safety. However, development of safety-critical ES suffers from complex software (SW) toolchains and engineering processes. Moreover, the current trend in autonomous systems, which relies on Machine Learning (ML) and AI applications when combined with fail-operational requirements renders the Verification and Validation (V&V) of these new systems a challenging endeavor. Prime examples are Advanced Driver-Assistance Systems (ADAS) that are prone to various safety/security vulnerabilities. The XANDAR project aims at developing a mature SW toolchain (from requirements analysis to the actual code integration on target including V&V) fulfilling the needs of industry for rapid prototyping of interoperable and autonomous ES. Starting from a model-based system architecture, XANDAR will leverage automatic model synthesis and software parallelization techniques to achieve specific non-functional requirements setting the foundation for a novel (real-time, safety-, and security)-by-Construction paradigm.

KW - Automotive

KW - Autonomous Systems

KW - Secure-by-design

KW - X-by-construction

KW - Functional Safety

KW - Model-based

KW - Cyber defence

KW - Security framework

UR - https://ieeexplore.ieee.org/document/9556412

U2 - 10.1109/FPL53798.2021.00075

DO - 10.1109/FPL53798.2021.00075

M3 - Conference contribution

T3 - International Conference on Field-Programmable Logic and Applications (FPL)

SP - 382

EP - 383

BT - XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems: Proceedings

T2 - International Conference on Field-Programmable Logic and Applications (FPL)

Y2 - 30 August 2021 through 3 September 2021

ER -

Siddiqui F, Khan R, Garousi V , Sezer S, Becker J, Masing L et al. XANDAR: X-by-construction design framework for engineering autonomous and distributed real-time embedded software systems. In XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems: Proceedings. 2021. p. 382 - 383. (International Conference on Field-Programmable Logic and Applications (FPL)). doi: 10.1109/FPL53798.2021.00075

XANDAR: X-by-construction design framework for engineering autonomous and distributed real-time embedded software systems