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