Lehre & Abschlussarbeiten

Development of AI-enabled systems

Development of an LLM-Based Agent for Continuous Aviation Security Risk Assessment

Kollaborative Bachelor-/Masterarbeit Dezentrales dynamisches Task-Scheduling für selbstadaptive Avionik

Bachelorarbeit Machbarkeit und Bewertung praktischer formaler Verifikation von C-Funktionsblöcken für Plug&Fly Avionik

Master Thesis within the field of Situational Awareness

Bachelor thesis: Formal verification of legacy avionics requirement using AI natural language models

Development of a Test Environment for Evaluating AI-Human Collaboration in Microsoft Flight Simulator

Entwicklung von m zu n exogenen Modelltransformationen für die Modelltransformationssprache in DOMAINES

Entwicklung einer Methodik zum deterministischen Entfernen von Elementen für die Modelltransformationssprache in DOMAINES

Labortest von Time-Sensitive-Networking (TSN) für Avioniksysteme

Minimierung der Umweltauswirkungen von Contrails durch KI-gesteuerte Flugroutenoptimierung

Graph Based Analysis and Verification for CNN

Klassifizierung von Unsicherheitspropagation in (KI-)Simulationsmodellen mittels domänenspezifischer Modellierung

Entwicklung von M1-Level-Vererbung für domänen-spezifischer Modellierung in Luftfahrt-Anwendungen

Modellgetriebenes Rollen und Rechte Management für beliebige Softwaresprachen

Bedingungen für die Berücksichtigung von (KI-)System-Unsicherheit im Safety- Assessment

Entwicklung einer Modelltransformation zur Generierung von IMA-Konfigurationen aus Plattformarchitekturmodellen in der qualifizierbaren Modelltransformationssprache TRA

CANopen zur automatischen Erkennung von Geräten auf integrierter Modularer Avionik

Optimierung der aktiven Systemarchitektur des Höhenprüfstandes hinsichtlich der Energieeffizienz

Master Thesis: Analyzing patterns of collaboration between AI and human in the context of single-pilot operation

Entwicklung eines Verfahrens zum funktionalen Testen domänen-spezifischer Modellierungstools gegen die spezifizierten High-Level Anforderungen

Entwicklung von Guard Conditions für die Regelausführung der Modelltransformationssprache in DOMAINES

Bachelorarbeit Erarbeitung eines Zulassungsprozesses eines Li-Ion- Batteriemanagementsystems für das Fly-by-Wire Segelflugzeug fs36

Masterarbeit Optimierung der Systemarchitektur und Zulassung des Batteriemanagementsystems für das Fly-by-Wire Segelflugzeug fs36 unter Verwendung von Li-Ion-Batterien