XANDAR

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