XANDAR project

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

The EU-funded XANDAR project will address the goals defined within the ICT-50-2020 Software Technologies call, delivering a mature software toolchain that fulfils the industrial requirements for rapid prototyping of interoperable and autonomous ES. A model-based system architecture to support novel automatic model synthesis and software parallelisation techniques will be used to achieve the objectives of a new real-time, safety- and security-by-construction paradigm.

Goal

Starting from a model-based system architecture, XANDAR will leverage novel 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 (X-by-Construction) paradigm. For the first time, XbC-guided code generation for non-deterministic ML/AI applications will be combined with novel runtime monitors to ensure fail-operation in the presence of runtime faults and security exploitations. The project provides a consortium covering the full spectrum of ES and software engineering

Lead Partner

Karlsruhe Institute of Technology, Germany

Duration

Duration 1 January 2021 – 31 December 2023

More information

• Web of the project: https://xandar-project.eu/
• Download the fiche here