Teaching & Theses

Development of AI-enabled systems

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

Development of m to n exogenous model transformations for the model transformation language in DOMAINES

Development of a methodology for deterministic removal of elements for the model transformation language in DOMAINES

Lab test of Time-Sensitive Networking for avionics systems

Minimizing the Environmental Impact of Contrails through AI-Driven Flight Routing Optimization

Graph Based Analysis and Verification for CNN

Classification of uncertainty propagation in (AI) simulation models using domain-specific modelling

Model-driven roles and rights management for arbitrary software languages

Development of M1-level inheritance for domain-specific modelling in aviation applications

Conditions for the consideration of (AI) system uncertainty in the safety assessment

CANopen for automatic detection of devices on integrated modular avionics

Optimization of the active system architecture of the altitude test rig with regard to energy efficiency

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

Development of guard conditions for rule execution of the model transformation language in DOMAINES

Development of a method for functional testing of domain-specific modeling tools against the specified high-level requirements

Bachelor thesis Development of an approval process for a Li-ion battery management system for the fly-by-wire glider fs36

Master's thesis Optimisation of the system architecture and approval of the battery management system for the fly-by-wire glider fs36 using Li-Ion batteries