Avionik Plattformen
Hardware, Software, Betriebssysteme und Middleware für sicherheitskritische verteilte Echtzeit-Computerplattformen wie integrierte modulare Avionik, flexible und selbstorganisierende Avionikplattformen sowie redundante System-, Echtzeit-, Fehlererkennungs- und Isolationstechniken, Virtualisierung, Containering und zeitabhängige Vernetzung.
Zertifizierungs Methoden
Sicherheits-Methoden für KI-gestützte Luft- und Raumfahrtsysteme während des gesamten Lebenszyklus, von der Systemspezifikation über die Implementierung bis zum Betrieb, d.h. formale Methoden, Assurance-Methoden, Automatisierung und Artefaktgenerierung.
Methoden & Tools
Mathematik, Informatik und Werkzeuge, die die Entwicklung und Gewährleistung sicherheitskritischer Systeme effizienter und ausgereifter machen, z. B. bereichsspezifische Modellierung, Planungsalgorithmen, Systemvisualisierung und -bearbeitung sowie Systemtechnik.
