Forschungsgebiete
Ein modernes Luftfahrzeug benötigt eine komplexe und leistungsfähige Avionik, deren Entwicklung und Qualifizierung jedoch immer teurer und zeitaufwändiger wird. Wir forschen an Methoden zur Automatisierung, Vereinfachung und Optimierung von Prozessen komplexer sicherheitskritischer Systeme und optimalen Avionikplattformen. Wir wissen, dass künstliche Intelligenz und andere moderne Technologien das Potenzial haben, die Luftfahrtsysteme zu revolutionieren. Wir sind bestrebt, technische Methoden zu entwickeln, die den sicheren und zuverlässigen Einsatz komplexer oder KI-gestützter Systeme in kritischen Anwendungen gewährleisten. Wir arbeiten eng mit Partnern zusammen, so dass unsere Ergebnisse einen nachhaltigen Einfluss auf die Luft- und Raumfahrtbranche haben. Wir stehen für zielstrebige und zuverlässige Forschung und Ausbildung in Technologien und Methoden für den Entwurf, die Entwicklung und die Zertifizierung von Luftfahrtsystemen der nächsten Generation.
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.