It is part of every student's career to write a thesis at the end of his/her studies in the form of a bachelor's or master's thesis. The following topics are currently advertised at the Chair of Software Engineering, are being worked on or have been successfully completed. Unsolicited inquiries are of course always welcome. If you are interested, please contact Prof. Frank Ortmeier.
Soon the topics will be updated on this page. If you are interested in writing a thesis, please contact Prof. Frank Ortmeier.
The list will be updated soon.
The list will be updated soon.
The integration of safety analysis into the early stages of system design using Model-Based Systems Engineering (MBSE) is critical for developing trustworthy safety-critical systems. Methodologies like SafeDeML provide a semi-formal way to embed safety artifacts such as faults, failures, and diagnoses directly within SysML models. However, a significant gap remains in translating these annotated models into a formal domain for rigorous, automated analysis of system-wide failure propagation. This thesis proposes the development of a methodology and a corresponding toolchain to automatically derive a formal, compositional analysis model from a SysML system architecture annotated with SafeDeML. The goal is to enable the automated verification of system-level safety goals against failure propagation scenarios originating from component-level faults.
Theses Portal
Last Modification: 03.05.2024 -
Contact Person: Webmaster
