Open Topics for Theses

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).

Automate and standardize Model-Based Safety Assessment (MBSA) within a CI/CD pipeline to enhance safety verification for complex systems.

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.

Automated Test Model Generation and Evaluation for Model Transformation Verification in Simulink-Based Systems Development

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

A Comparison of Failure injection Methods for Functional Safety

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.