XANDAR: exploiting the X-by-construction paradigm in model-based development of safety-critical systems

Leonard Masing; Tobias Dorr; Florian Schade; Juergen Becker; 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; Geza Nemeth; Fahad Siddiqui; Rafiullah Khan; Vahid Garousi; Sakir Sezer; Victor Morales

doi:10.23919/DATE54114.2022.9774534

XANDAR: exploiting the X-by-construction paradigm in model-based development of safety-critical systems

Leonard Masing, Tobias Dorr, Florian Schade, Juergen Becker, 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 WilhelmGeza Nemeth, Fahad Siddiqui, Rafiullah Khan, Vahid Garousi, Sakir Sezer, Victor Morales

Queen's University Belfast

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

15 Citations (Scopus)

Abstract

Realizing desired properties 'by construction' is a highly appealing goal in the design of safety-critical embedded systems. As verification and validation tasks in this domain are often both challenging and time-consuming, the by-construction paradigm is a promising solution to increase design productivity and reduce design errors. In the XANDAR project, partners from industry and academia develop a toolchain that will advance current development processes by employing a modelbased X-by-Construction (XbC) approach. XANDAR defines a development process, metamodel extensions, a library of safety and security patterns, and investigates many further techniques for design automation, verification, and validation. The developed toolchain will use a hypervisor-based platform, targeting future centralized, AI-capable high-performance embedded processing systems. It is co-developed and validated in both an avionics use case for situation perception and pilot assistance as well as an automotive use case for autonomous driving.

Original language	English
Title of host publication	Design, Automation and Test in Europe Conference and Exhibition, DATE 2022: Proceedings
Editors	Cristiana Bolchini, Ingrid Verbauwhede, Ioana Vatajelu
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	814-818
Number of pages	5
ISBN (Electronic)	978-3-9819263-6-1
ISBN (Print)	978-1-6654-9637-7
DOIs	https://doi.org/10.23919/DATE54114.2022.9774534
Publication status	Published - 19 May 2022
Event	2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 - Virtual, Online, Belgium Duration: 14 Mar 2022 → 23 Mar 2022

Publication series

Name	Design, Automation & Test in Europe Conference & Exhibition (DATE): Proceedings
Publisher	IEEE
ISSN (Electronic)	1558-1101

Conference

Conference	2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022
Country/Territory	Belgium
City	Virtual, Online
Period	14/03/2022 → 23/03/2022

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:
© 2022 EDAA.

Keywords

Hypervisors
Model-based development
Real-time systems
Safety-critical systems
X-by-Construction

ASJC Scopus subject areas

General Computer Science
General Engineering
Computer Science Applications
Automotive Engineering
Architecture
Safety, Risk, Reliability and Quality

UN SDGs

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

Access to Document

10.23919/DATE54114.2022.9774534Licence: Unspecified

Cite this

Masing, L., Dorr, T., Schade, F., Becker, J., Keramidas, G., Antonopoulos, C. P., 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., ... Morales, V. (2022). XANDAR: exploiting the X-by-construction paradigm in model-based development of safety-critical systems. In C. Bolchini, I. Verbauwhede, & I. Vatajelu (Eds.), Design, Automation and Test in Europe Conference and Exhibition, DATE 2022: Proceedings (pp. 814-818). (Design, Automation & Test in Europe Conference & Exhibition (DATE): Proceedings). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.23919/DATE54114.2022.9774534

Masing, Leonard ; Dorr, Tobias ; Schade, Florian et al. / XANDAR: exploiting the X-by-construction paradigm in model-based development of safety-critical systems. Design, Automation and Test in Europe Conference and Exhibition, DATE 2022: Proceedings. editor / Cristiana Bolchini ; Ingrid Verbauwhede ; Ioana Vatajelu. Institute of Electrical and Electronics Engineers Inc., 2022. pp. 814-818 (Design, Automation & Test in Europe Conference & Exhibition (DATE): Proceedings).

@inproceedings{3d315b6546e54c2181ef8fc38fe77976,

title = "XANDAR: exploiting the X-by-construction paradigm in model-based development of safety-critical systems",

abstract = "Realizing desired properties 'by construction' is a highly appealing goal in the design of safety-critical embedded systems. As verification and validation tasks in this domain are often both challenging and time-consuming, the by-construction paradigm is a promising solution to increase design productivity and reduce design errors. In the XANDAR project, partners from industry and academia develop a toolchain that will advance current development processes by employing a modelbased X-by-Construction (XbC) approach. XANDAR defines a development process, metamodel extensions, a library of safety and security patterns, and investigates many further techniques for design automation, verification, and validation. The developed toolchain will use a hypervisor-based platform, targeting future centralized, AI-capable high-performance embedded processing systems. It is co-developed and validated in both an avionics use case for situation perception and pilot assistance as well as an automotive use case for autonomous driving.",

keywords = "Hypervisors, Model-based development, Real-time systems, Safety-critical systems, X-by-Construction",

author = "Leonard Masing and Tobias Dorr and Florian Schade and Juergen Becker 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 Geza Nemeth and Fahad Siddiqui and Rafiullah Khan and Vahid Garousi and Sakir Sezer 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} 2022 EDAA.; 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 ; Conference date: 14-03-2022 Through 23-03-2022",

year = "2022",

month = may,

day = "19",

doi = "10.23919/DATE54114.2022.9774534",

language = "English",

isbn = "978-1-6654-9637-7",

series = "Design, Automation & Test in Europe Conference & Exhibition (DATE): Proceedings",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "814--818",

editor = "Cristiana Bolchini and Ingrid Verbauwhede and Ioana Vatajelu",

booktitle = "Design, Automation and Test in Europe Conference and Exhibition, DATE 2022: Proceedings",

address = "United States",

}

Masing, L, Dorr, T, Schade, F, Becker, J, 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, Nemeth, G, Siddiqui, F, Khan, R, Garousi, V , Sezer, S & Morales, V 2022, XANDAR: exploiting the X-by-construction paradigm in model-based development of safety-critical systems. in C Bolchini, I Verbauwhede & I Vatajelu (eds), Design, Automation and Test in Europe Conference and Exhibition, DATE 2022: Proceedings. Design, Automation & Test in Europe Conference & Exhibition (DATE): Proceedings, Institute of Electrical and Electronics Engineers Inc., pp. 814-818, 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022, Virtual, Online, Belgium, 14/03/2022. https://doi.org/10.23919/DATE54114.2022.9774534

XANDAR: exploiting the X-by-construction paradigm in model-based development of safety-critical systems. / Masing, Leonard; Dorr, Tobias; Schade, Florian et al.
Design, Automation and Test in Europe Conference and Exhibition, DATE 2022: Proceedings. ed. / Cristiana Bolchini; Ingrid Verbauwhede; Ioana Vatajelu. Institute of Electrical and Electronics Engineers Inc., 2022. p. 814-818 (Design, Automation & Test in Europe Conference & Exhibition (DATE): Proceedings).

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

TY - GEN

T1 - XANDAR: exploiting the X-by-construction paradigm in model-based development of safety-critical systems

AU - Masing, Leonard

AU - Dorr, Tobias

AU - Schade, Florian

AU - Becker, Juergen

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 - Nemeth, Geza

AU - Siddiqui, Fahad

AU - Khan, Rafiullah

AU - Garousi, Vahid

AU - Sezer, Sakir

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: © 2022 EDAA.

PY - 2022/5/19

Y1 - 2022/5/19

N2 - Realizing desired properties 'by construction' is a highly appealing goal in the design of safety-critical embedded systems. As verification and validation tasks in this domain are often both challenging and time-consuming, the by-construction paradigm is a promising solution to increase design productivity and reduce design errors. In the XANDAR project, partners from industry and academia develop a toolchain that will advance current development processes by employing a modelbased X-by-Construction (XbC) approach. XANDAR defines a development process, metamodel extensions, a library of safety and security patterns, and investigates many further techniques for design automation, verification, and validation. The developed toolchain will use a hypervisor-based platform, targeting future centralized, AI-capable high-performance embedded processing systems. It is co-developed and validated in both an avionics use case for situation perception and pilot assistance as well as an automotive use case for autonomous driving.

AB - Realizing desired properties 'by construction' is a highly appealing goal in the design of safety-critical embedded systems. As verification and validation tasks in this domain are often both challenging and time-consuming, the by-construction paradigm is a promising solution to increase design productivity and reduce design errors. In the XANDAR project, partners from industry and academia develop a toolchain that will advance current development processes by employing a modelbased X-by-Construction (XbC) approach. XANDAR defines a development process, metamodel extensions, a library of safety and security patterns, and investigates many further techniques for design automation, verification, and validation. The developed toolchain will use a hypervisor-based platform, targeting future centralized, AI-capable high-performance embedded processing systems. It is co-developed and validated in both an avionics use case for situation perception and pilot assistance as well as an automotive use case for autonomous driving.

KW - Hypervisors

KW - Model-based development

KW - Real-time systems

KW - Safety-critical systems

KW - X-by-Construction

UR - http://www.scopus.com/inward/record.url?scp=85130798783&partnerID=8YFLogxK

U2 - 10.23919/DATE54114.2022.9774534

DO - 10.23919/DATE54114.2022.9774534

M3 - Conference contribution

AN - SCOPUS:85130798783

SN - 978-1-6654-9637-7

T3 - Design, Automation & Test in Europe Conference & Exhibition (DATE): Proceedings

SP - 814

EP - 818

BT - Design, Automation and Test in Europe Conference and Exhibition, DATE 2022: Proceedings

A2 - Bolchini, Cristiana

A2 - Verbauwhede, Ingrid

A2 - Vatajelu, Ioana

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022

Y2 - 14 March 2022 through 23 March 2022

ER -

Masing L, Dorr T, Schade F, Becker J, Keramidas G, Antonopoulos CP et al. XANDAR: exploiting the X-by-construction paradigm in model-based development of safety-critical systems. In Bolchini C, Verbauwhede I, Vatajelu I, editors, Design, Automation and Test in Europe Conference and Exhibition, DATE 2022: Proceedings. Institute of Electrical and Electronics Engineers Inc. 2022. p. 814-818. (Design, Automation & Test in Europe Conference & Exhibition (DATE): Proceedings). doi: 10.23919/DATE54114.2022.9774534

XANDAR: exploiting the X-by-construction paradigm in model-based development of safety-critical systems