XANDAR

  • Ansprechperson:

    Prof. Dr.-Ing. Dr. h. c. Jürgen Becker

  • Projektgruppe:

    Prof. Becker

  • Förderung:

    Funding agency: EU Horizon 2020 Research and Innovation Programme
    Budget: 4.96 Millionen Euro

  • Projektbeteiligte:

    KIT, BMW Group, DLR, Uni. Of Peloponnese, AVN Innovative Technology, Vector Informatik GmbH, Queen’s Uni. Belfast, fent Innovative Software Solutions

  • Starttermin:

    01.01.2021

  • Endtermin:

    31.12.2023

XANDAR

X-by-Construction Entwurfsrahmen für die Entwicklung autonomer und verteilter eingebetteter Echtzeitsoftwaresysteme
.
.

Ziele

  • Bereitstellung ganzheitlicher Entwurfsmethoden und Architekturen, die in allen Phasen des Lebenszyklus der Software- und Systementwicklung (SDLC) nichtfunktionale Eigenschaften "by construction" (XbC) garantieren
  • Verbesserung der Entwicklungsproduktivität und der Softwarequalität mit einer wiederverwendbaren Bibliothek von Safety- und Security-Patterns, vertrauenswürdigen HW/SW-Vorlagen und Überwachungsmechanismen
  • Ermöglichung der modellbasierten Entwurfsautomatisierung für vertrauenswürdige eingebettete Software in kritischen Umgebungen
  • Bereitstellung einer interoperablen, vertrauenswürdigen und anpassungsfähigen Architektur für eingebettete HW/SW-Plattformen, die die Überwachung des Zustands der Plattform während der Laufzeit unterstützt
  • Verifizierung und Validierung funktionaler und nicht-funktionaler Anforderungen durch Simulation und andere V&V-Techniken, um die Effektivität des XbC-Paradigmas zu zeigen

Modellbasierter Entwurfsablauf

  • Nahtlose Modellierung, Design, Verifizierung und Bereitstellung von autonomen und verteilten eingebetteten Anwendungen
  • Absicherung nicht-deterministischer Anwendungen (z. B. KI) über konfigurierbare Laufzeitmonitore
  • Nicht-funktionale Ende-zu-Ende-Garantien durch
    • modellbasierte Safety/Security-Patterns und Synthese von serviceorientierter Architektur
    • Verifikations- und Validierungsmethoden
    • XbC-Code-Generierung und -Bereitstellung