This page contains a list of currently avalibale thesis topics at our chair. This topics can apply for undergraduated student topics (e.g. FIN-SMK, programming projects, et.c) and for bachelor and master's theses.
If you do not find a fitting topic, but have a strong interest in doing you thesis at our chair, do not hesitate to contact Prof. Ortmeier via our secretary Fr. Rulf (kronelia.rulf(at)ovgu.de).
In the development of autonomous vehicles, the ability to reliably recognize unexpected and unknown situations is crucial. This thesis focuses on Out-of-Distribution (OOD) detection, a critical element in ensuring the safety of AI-driven systems. OOD detection involves identifying input data that was not considered during the training of a Deep Learning model, thus posing a risk of incorrect decisions. The goal is to improve the detection rates of OOD situations through the mining of rules sets with genetic or memetic algorithms, thereby enhancing the reliability of autonomous vehicles.
The development of safety-critical systems demands rigorous verification processes. Model-Based Safety Assessment (MBSA) offers a systematic approach to ensure the safety of complex systems.
This thesis focuses on automating and standardizing MBSA within a CI/CD pipeline to enhance the efficiency, consistency, and traceability of safety verification.
This thesis tackles the challenge of verifying semantic consistency in Simulink model transformations. It proposes an automated method for test model generation, reducing errors and saving time in complex system design
This thesis investigates the failure injection capabilities of leading Model-Based Systems Engineering (MBSE) tools, focusing on their integration with safety analysis techniques like FTA and FMEA. Through a comparative study, it will benchmark tool performance and provide guidelines for engineers seeking to optimize safety-critical system design.
Theses Portal
Last Modification: 03.05.2024 - Contact Person:
Webmaster
