XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems
Leonard Masing1,a, Tobias Dörr1, Florian Schade1, Juergen Becker1,b, Georgios Keramidas2,9, Christos P. Antonopoulos2, Michail Mavropoulos2, Efstratios Tiganourias2,9, Vasilios Kelefouras2, Konstantinos Antonopoulos2, Nikolaos Voros2, Umut Durak3, Alexander Ahlbrecht3, Wanja Zaeske3, Christos Panagiotou4, Dimitris Karadimas4, Nico Adler5, Andreas Sailer5, Raphael Weber5, Thomas Wilhelm5, Geza Nemeth6, Fahad Siddiqui7, Rafiullah Khan7, Vahid Garousi7, Sakir Sezer7 and Victor Morales8
1Karlsruhe Institute of Technology, Germany
aleonard.masing@kit.edu
bjuergen.becker@kit.edu
2University of Peloponnese, Greece
3German Aerospace Center (DLR), Institute of Flight Systems, Germany
4AVN Innovative Technology Solutions Limited, Cyprus
5Vector Informatik GmbH, Germany
6Bayerische Motoren Werke Aktiengesellschaft, Germany
7Queen’s University, Belfast, UK
8Fent Innovative Software Solutions, SL, Spain
9Aristotle University of Thessaloniki, Greece
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: X-By-Construction, Model-Based Development, Real-Time Systems, Safety-Critical Systems, Hypervisors.
