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