We always offer the opportunity to write a Bachelor's or Master's thesis on exciting and current research topics in the department. We base our supervision on the guidelines for final theses issued by the Department of Computing Science.

Different approaches are used to plan driving manoeuvres in highly automated and autonomous vehicles. One class of methods is based on the recording and evaluation of driving situations using methods of the so-called "Semantic Web". In this thesis, an existing implementation of such a planning component is to be extended to include the evaluation of driving manoeuvres based on traffic and "common sense" rules (e.g. rules for driving in slow-moving traffic).

This topic is to be dealt with as part of a Master's thesis.

Interested students should contact Ingo Stierand at

The development of safety-critical systems requires careful and in-depth treatment of system requirements, from their definition to the analysis of their compliance through the developed system models and their realisation.

Scenario-based specifications, in which requirements are described in the form of (exemplary) processes, are increasingly being used for the development of complex systems. Among other things, OFFIS has developed a very simple editor for creating traffic scenarios. For the analysis of system models against such scenarios, a translation of this editor into suitable analysis models for an analysis tool such as Z3 or the iSat family is to be developed and prototypically implemented.

This topic can be worked on as part of a Bachelor's or Master's thesis.

Interested students should contact Ingo Stierand at

We also assign topics for Bachelor's or Master's theses individually by arrangement. Please contact us if you already have an idea for a topic. We would also be happy to work with you to develop a topic tailored to you and your previous knowledge.