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

KIT Presseinformation 011/2021: "KIT koordiniert neues EU-Projekt XANDAR"


  • Provide holistic design methods and architectures that guarantee non-functional properties “by construction” (XbC) throughout all phases of the software and system development lifecycle (SDLC)
  • Improve development productivity and software quality with a reusable library of safety & security patterns, trusted HW/SW templates and monitoring mechanisms
  • Enable model-based design automation for trustworthy embedded software in critical environments
  • Provide an interoperable, trustworthy  and adaptive embedded HW/SW platform architecture that supports runtime platform health monitoring and self-healing capabilities
  • Verification and validation of functional and non-functional requirements using simulation & other V&V techniques to show the effectiveness of the XbC paradigm


Model-Based Design Flow

  • Seamless modeling, design, verification, and deployment of autonomous and distributed embedded applications
  • Safeguarding non-deterministic applications (e.g. AI) via configurable run-time monitors
  • Non-functional end-to-end guarantees via
    • model-based safety/security patterns and synthesis of service-oriented architecture
    • Verification and Validation Methods
    • XbC Code Generation and Deployment



Project Key Facts

Funding agency: EU Horizon 2020 Research and Innovation Programme
Budget: 4.96 Millionen Euro
Coordinator: Jürgen Becker
Start date: 01.01.2021
End date: 31.12.2023
Project partners: KIT, BMW Group, DLR, Uni. Of Peloponnese, AVN Innovative Technology, Vector Informatik GmbH, Queen’s Uni. Belfast, fent Innovative Software Solutions