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.
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
Karlsruhe Institute of Technology, Germany
Duration 1 January 2021 – 31 December 2023