Projekte

Alle laufenden und abgeschlossenen Projekte

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.

Zum Seitenanfang