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.

Bosch Rexroth has published a new call for applications for a thesis with sheet metal in the Rexroth division. It is a rather practical thesis in the field of software engineering. An affinity for programming languages and concepts would be desirable.

The aim is to implement a manageable part of a product software in sheet metal and to evaluate the extent to which software quality can be improved by using the synchronous language sheet metal. By working in the context of real product software, the shortcomings of the young language Blech itself will probably also be revealed. The candidates have the opportunity to make suggestions for the further development of the Blech language.

The work is to be carried out on site in Schwieberdingen at Bosch Rexroth and will be supervised by Ingo Stierand and one of his colleagues.

Further information is available here: Link to the call for applications

Interested students should contact Ingo Stierand at

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.