XANDAR: X-by-Construction Design framework for Engineering Autonomous & 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 & 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

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
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 Sep 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

Keywords

Automotive
Autonomous Systems
Secure-by-design
X-by-construction
Functional Safety

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 & 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 ; Sezer, Sakir ; Becker, Jürgen ; Masing, Leonard ; Dörr, Tobias ; Schade, Florian ; Keramidas, Georgios ; Antonopoulos, Christos P. ; Mavropoulos, Michail ; Tiganourias, Efstratios ; Kelefouras, Vasilios ; Antonopoulos, Konstantinos ; Voros, Nikolaos ; Durak, Umut ; Ahlbrecht, Alexander ; Zaeske, Wanja ; Panagiotou, Christos ; Karadimas, Dimitris ; Adler, Nico ; Sailer, Andreas ; Weber, Raphael ; Wilhelm, Thomas ; Oszwald, Florian ; Reinhardt, Dominik ; Chamas, Mohamad ; Bekan, Adnan ; Smethurst, Graham ; Morales, Victor. / XANDAR: X-by-Construction Design framework for Engineering Autonomous & 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 & 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",

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

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

note = "International Conference on Field-Programmable Logic and Applications (FPL), FPL ; Conference date: 30-08-2021 Through 03-09-2021",

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 & 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 & Distributed Real-time Embedded Software Systems. / Siddiqui, Fahad ; Khan, Rafiullah ; Garousi, Vahid ; Sezer, Sakir; Becker, Jürgen; Masing, Leonard; Dörr, Tobias; Schade, Florian; Keramidas, Georgios; Antonopoulos, Christos P.; Mavropoulos, Michail; Tiganourias, Efstratios; Kelefouras, Vasilios; Antonopoulos, Konstantinos; Voros, Nikolaos; Durak, Umut; Ahlbrecht, Alexander; Zaeske, Wanja; Panagiotou, Christos; Karadimas, Dimitris; Adler, Nico; Sailer, Andreas; Weber, Raphael; Wilhelm, Thomas; Oszwald, Florian; Reinhardt, Dominik; Chamas, Mohamad; Bekan, Adnan; Smethurst, Graham; Morales, Victor.

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 & 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

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

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 & 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)). https://doi.org/10.1109/FPL53798.2021.00075

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

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

R6656ECS: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems’ — ‘XANDAR

Cite this

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

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Projects

R6656ECS: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems’ — ‘XANDAR

Cite this