Jump to main content
Operating Systems Group
Student papers
Professur Betriebssysteme

Student Papers

Hint

These topics are proposals. You are welcome to discuss your own ideas.

RoboCup – World Modeling

Responsible: Martin Richter

Since 1997 the RoboCup (Robot Soccer World Cup) is held, where different teams of researchers and students are competing in numerous leagues. A game of robot soccer is always played between two equally sized sets of robots, ranging from five to eleven robots per team. Depending on the league, the game is either simulated or conducted physically with real robots.If the game is played physically, multiple mobile robots perceive their environment through sensors (e.g., recognizing enemy player positions) and influence it through actuators (e.g., kicking the ball), a team of robots is classified as a mobile cyber-physical system. Achieving a consistent view of the environment in cyber-physical systems is of paramount importance, to allow the different execution units to collaborate and tackle common tasks.As a RoboCup team has to decide on which moves to take, the state of the game (e.g., player positions) has to be evaluated continuously. For this, a virtual representation of the real world is required and data has to be exchanged between the robots. Your task will be to review different models, which are concerned with the virtual representation of the real world in the RoboCup.

Start: open

Suitable for: Research seminar, Advanced seminar

Isabelle / HOL

Responsible: Matthias Werner

The Isabelle/HOL tool is one of the internationally leading tools for proving correctness of computer systems (theorem prover). E.g., the correctness proof of the seL4 kernel was done by the use of Isabelle. For this seminar topic, the student should give a introduction to Isabelle/HOL and the foundation behind, as well as demonstrate its practical usage by verifying a given protocol.

Start: open

Suitable for: Research seminar

Python Runtime on the Base of Forth

Responsible: Matthias Werner

Forth is a syntax-less, very machine-oriented programming language with a bare-metal run-time system (i.e. without OS). The task is to develop an interpreter for Python byte code on top of a Forth system on a embedded board.

Start: open

Suitable for: Masters thesis

Preparation of Modern Crypto Standards

Responsible: Jonas Henschel

Block ciphers with symmetric encryption are used by many highly reliable systems. For example, banks and the Deutsche Bahn rely on modern variants of the Data Encryption Standard (DES) which is based on the principle of Feistel ciphers. Many other applications, on the other hand, rely on the newer Advanced Encryption Standard (AES), which enables the use of longer keys. The basis of the AES is based on SP networks. The fundamentally different structures of these encryption algorithms offer different properties in terms of confidentiality. Your task is to present how the algorithms work, identify the properties of the ciphers, and to analyse both algorithms based on their confidentiality properties and their complexity. Of particular interest are statements about the confidentiality of the algorithms in the post-quantum age.

Start: open

Suitable for: Bachelor thesis, Research project, Research seminar

Overview of Known Approaches for Quantum Ciphers

Responsible: Jonas Henschel

The principle of quantum key distribution (QKD) is currently a very active field of research. However, QKD only provides a solution for the negotiation of key pairs at quantum level. The actual encryption, on the other hand, is often still carried out at classical bit level. Your task is to research approaches and ideas that allow encryption at quantum level. You summarize these in your written report and evaluate them on the basis of relevant characteristics.

Start: open

Suitable for: Bachelor thesis, Research seminar

Preparation of Normative Regulations for Quantum Key Distribution

Responsible: Jonas Henschel

Quantum Key Distribution is a relatively new technology enabling a secure exchange of symmetric keys. Many different institutions try to push this technology from theory into production. Normative regulations for such systems already exist. It is your task to familiarize with these normative regulations and answer the following as well as other questions: Which requirements have to be guarantied? What protocol behavior is defined? Which interfaces are defined? Which properties are guarantied by the standards?

Start: open

Suitable for: Research seminar, Advanced seminar

Modeling Communication Protocols

Responsible: Jonas Henschel

Communication is a central design element of distributed computer systems. Therefore assumptions on and guaranties by the underlying communication protocols are crucial for the systems' overall functionality. However, is it possible to ensure these properties? It obviously is not possible to test for every possible situation during production. A possible solution is modelling these protocols in a formal language and check for these properties in a formal way. That way edge cases are less likely overseen. The specific model of the communication protocol depends on the property that should be checked for. Therefore the used formal language may depend on this property too. In this work it is Your task to identify relevant properties for modelling communication protocols. Moreover, you shall use these properties to identify corresponding modelling languages used to check for them. You should illustrate these results with some simple examples. To prove properties, a model of the system is first required. Properties of distributed systems that are usually difficult to model are Synchronicity and asynchronicity between different nodes, Time behavior (global vs. local), as well as Uncertainty (e.g. in communication). Furthermore, Models of real systems quickly become large and complex. A “manual” analysis is therefore often impractical. This is where tools for automated analysis come into play. Unfortunately, however, these are often not fully developed or scale very poorly with increasing model complexity. Your task is to identify different modeling approaches and show how they can deal with the problems raised above.

Start: open

Suitable for: Masters thesis, Research project

Modeling and Analysis of the Babel Routing Protocol

Responsible: Billy Naumann

Done by Norbert Ploner

Done as Advanced seminar

Start: 05.04.2023

Categorization of Coordination Models for Robot Swarms

Responsible: Martin Richter

Done by Leon Rollenhagen

Done as Bachelor thesis

Start: 09.09.2024

Programming an API for Heterogeneous Robots

Responsible: Martin Richter

Programming robots is an error-prone and complex task, especially if the robots are heterogeneous and have to be coordinated. The target of the research seminar is to document the hardware and software specifics of a given swarm of heterogeneous robots. Additionally, a unified API for the swarm should be implemented (this encompasses describing a suitable set of requirements). The API should provide a way to program each of the robots in a similar manner. Therefore, fitting abstractions have to be found (i.e., commonalities between the robots have to be utilized and differences have to be handled). A suitable demo application should be implemented.

Done by Bo-Yue Zeng

Done as Research seminar

Start: 13.09.2024

Analysis of Game Physics Engines and Transfer of their Functionality to a Physical World Model

Responsible: Martin Richter

Done by Pauline Fischer

Done as Research seminar

Start: 05.12.2024

Virtualization of the Embedded Software Lab

Responsible: Martin Richter

Done by Lugas Kreuz, Janek Seidel, Amos Paul Jantz, Anna Theresa Single

Done as Research project

Start: 06.12.2024

RoboCup - Coordination Models

Responsible: Martin Richter

Since 1997 the RoboCup (Robot Soccer World Cup) is held, where different teams of researchers and students are competing in numerous leagues. A game of robot soccer is always played between two equally sized sets of robots, ranging from five to eleven robots per team. Depending on the league, the game is either simulated or conducted physically with real robots.If the game is played physically, multiple mobile robots perceive their environment through sensors (e.g., recognizing enemy player positions) and influence it through actuators (e.g., kicking the ball), a team of robots is classified as a mobile cyber-physical system. Coordination is one of the main challenges for cyber-physical systems, as multiple heterogeneous execution units might have to cooperate to reach a common goal. To ensure a safe and timely operation, the planning of which units fulfill which tasks at which point in time is critical.As a RoboCup team has to be coordinated to conduct complex moves, coordination models are employed. Such models encompass the choice of varying tasks for different robots to reach a common main-goal or possibly multiple sub-goals. Your task will be to review different coordination models, used in the RoboCup.

Done by Leon Rollenhagen

Done as Advanced seminar

Start: 01.12.2023

End: 27.02.2024

Test Objectives in DO-178C

Responsible: Christine Jakobs

Identifying the different test objectives in DO-s178C standard, categorising them and compare the given toolchain regarding its coverage

Done by Reema Thakur

Done as Masters thesis

Start: 14.06.2017

End: 20.11.2017

Reference implementation of DiAO

Responsible: Peter Tröger

Distributed Active Object (DiAO) is a concept to support application execution in distributed mobile systems. A middleware as well as a proof-of-concept application are to implement.

Done by Martin Richter

Done as Bachelor thesis

Start: 01.04.2017

End: 10.11.2017

Framework for Simulation and Performance Analysis of Clock Synchronization Algorithms

Responsible: Jafar Akhundov

The task is to create a framework for simulation and performance analysis of diverse clock synchronization algorithms. Implementation language/tool is irrelevant. To achieve this distributed systems must be parametrized with respect to clock synchronization. As a basis an existing master thesis can be used. The context and big goal of the work is to automatically generate synchronization modules for parametrized spacecraft systems.

Done by Leander Herr

Done as Masters thesis

Start: 20.03.2016

End: 01.02.2018

Modelling a real-time ECU using MPS and mbeddr.

Responsible: Christine Jakobs

Done by Reema Thakur

Done as Research project

Start: 01.09.2016

End: 20.02.2017

Dependability modeling with fuzzy structure formulas

Responsible: Peter Tröger

Done by Christine Jakobs

Done as Masters thesis

Start: 06.07.2015

End: 17.12.2015

Implementation of the Global Physical Time for the Domain Model of the VirtualPath of the DLR Hand-Arm System

Responsible: Matthias Werner

Done by Jafar Akhundov

Done as Masters thesis

Start: 11.07.2013

End: 29.08.2013

Fault Tolerance in Automotive

Responsible: Christine Jakobs

This seminar focusses on fault tolerance mechanisms discussed in current research publications related to the automotive area. The question is which mechanisms are used and in which context.

Done by Georg Seerig

Done as Research seminar

Start: 07.10.2022

End: 30.01.2022

The TLA Theorem Solver

Responsible: Christine Jakobs

Done by Clemens Degenhardt

Done as Advanced seminar

Start: 21.04.2023

End: 01.09.2023

Safety-critical - Definition and Properties

Responsible: Christine Jakobs

This seminar focusses on the definition of the term safety-critical. How is it defined in literature? Where do the authors focus on and what properties and metrics are used.

Done by Felix Bachmann

Done as Advanced seminar

Start: 18.10.2022

End: 07.04.2023

Distributed Constraint Solving for DiAO

Responsible: Matthias Werner

Done by Martin Richter

Done as Research project

Start: 24.10.2018

End: 29.05.2019

Umsetzung von Programmierparadigmen der Objektorientierung zur Realisierung von Function-as-a-Service Systemen mit Microservices

Responsible: Marcus Hilbrich

Micro Services lag abstraction methods. E.g, In case multiple services are needed to process a single transaction, the concept of the transaction is not really present in the code of the services. In a first step a tool was created and evaluated to allow to write the transaction as an object oriented like class and generate services based on the methods of the class. This is not yet a general solution and needs extensions. 1) using a more general programming language (e.G. Java) 2) support additional OO concepts (generalization, polymorphy, …) 3) stronger evaluation 4) multi language support 5) multi Cloud support

Done by Stefan Staude

Done as Masters thesis

Start: 22.09.2019

End: 23.02.2020

Discover and Analysis of architectural patterns in open source projects

Responsible: Marcus Hilbrich

Using architectural patterns is a valuable strategy to increase the quality of software. Architectural patterns can be cousin explicitly or can be enforced by developer environments. Your task is to identify architectural patterns in open source Android applications and analyze whether the patterns are used explicit or implicit.

Done by Ehsan Fanic

Done as Masters thesis

Start: 22.04.2019

End: 23.09.2019

Discover and Analysis of architectural patterns in open source projects

Responsible: Marcus Hilbrich

Using architectural patterns is a valuable strategy to increase the quality of software. Architectural patterns can be cousin explicitly or can be enforced by developer environments. Your task is to identify architectural patterns in open source Android applications and analyze whether the patterns are used explicit or implicit.

Done by Marcel Müller

Done as Masters thesis

Start: 06.05.2019

End: 26.11.2019

Erstellung einer Taxonomie der Einflussfaktoren auf die Softwarearchitektur

Responsible: Marcus Hilbrich

Done by Maximilian Teich

Done as Masters thesis

Start: 22.07.2019

End: 26.11.2019

Evaluation of simulation tools for hybrid automata and extension for LTIHA

Responsible: Antonia Reißner

Three simulation tools shall be compared and one of them chosen. For the chosen simulation tool a plug-in for linear time-invariant hybrid automata shall be written.

Done by Florian Jurklies

Done as Bachelor thesis

Start: 14.08.2019

End: 30.01.2020

Analysis of Tools for Model-Checking

Responsible: Christine Jakobs

Model-checker and proof systems are commonly used tools to support automatic analysis of formal models. The task is to evaluate two of those tools for a given use case and support the analysis by an example

Done by Alina Walzel

Done as Bachelor thesis

Start: 12.04.2023

End: 23.08.2024

Development and Performance Analysis of an OpenACC-based Fast Multipole Method

Responsible: Laura Morgenstern

Research objective is the development and performance analysis of an OpenACC-based Fast Multipole Method (FMM) for the computation of electrostatical interactions in moleculardynamic simulations. The project is based on FMSolvr, a parallel C++ implementation of an FMM. Subsequently, the developed OpenACC-version of FMSolvr shall be analyzed with regard to potential performance optimizations. Furthermore, diverse parallelization strategies and parameter sets could be developed and compared against each other.

Done by Theresa Werner

Done as Research project

Start: 01.07.2021

End: 30.09.2021

Hybrid Testbeds for Educational Purposed - Design of a Computer Science Lab for Master Students

Responsible: Christine Jakobs

Cooperative master thesis with the professorship for operating systems and middleware of Prof. Polze at HPI. The aim is to analyze the impairments for hybrid computer science labs and to transfer an already existing lab into a hybrid one.

Done by Julia Scharsich

Done as Masters thesis

Start: 23.02.2021

End: 04.04.2022

Coordination Models and Languages

Responsible: Martin Richter

Coordination languages allow the programmer to describe concurrent and distributed computations through the concept of "coordination".It allows to integrate many possibly heterogeneous components by providing distribution transparency.The set of all components forms a single application in a way, that it can be executed in a distributed and parallel fashion. Papadopoulos and Arbab give an overview of different coordination languages in "Coordination Models and Languages".It will be your task to review the paper and present the different coordination models and languages, what differentiates them, what their benefits and drawbacks are and to present at least one use-case per paradigm.

Done by Markus Meier

Done as Research project

Start: 05.04.2024

End: 05.08.2024

RoboCup - Simulators

Responsible: Martin Richter

Since 1997 the RoboCup (Robot Soccer World Cup) is held, where different teams of researchers and students are competing in numerous leagues. A game of robot soccer is always played between two equally sized sets of robots, ranging from five to eleven robots per team. Depending on the league, the game is either simulated or conducted physically with real robots. If the game is simulated (i.e., in the 2D-simulation and 3D-simulation leagues), a soccer simulation platform is utilized. Your task will be to review the current simulation platform (either 2D or 3D), used in the RoboCup.

Done by Paul Kapitän und Martin Ziesche

Done as Proseminar

Start: 13.09.2022

End: 13.03.2023

Heuristic Risk Treatment with TLA+

Responsible: Christine Jakobs

Done by Albrecht Stoye

Done as Research project

Start: 19.05.2022

End: 09.10.2022

Formal Modeling of Meta-Functional Properties of the RaSTA Protocol

Responsible: Billy Naumann

Done by Jonas Henschel

Done as Masters thesis

Start: 01.07.2022

End: 13.12.2022

Component Risk Analysis for Automotive Systems

Responsible: Christine Jakobs

The focus of the research internship is on the implementation of the developed component security risk analysis method. Therefore, the student gets the method description and relevant input data. The task is to read and understand the method description and implement the method in a proper programming language, e.g., Python. The research part of the task consists of researching appropriate implementation schemes and missing information for the technique.

Done by Louis Heyne

Done as Research project

Start: 25.10.2022

End: 07.04.2023

Open-RMF Robot Fleet Management

Responsible: Martin Richter

Done by Martin Ziesche

Done as Proseminar

Start: 01.03.2024

End: 10.10.2024

Comparison of Sensor Data Fusion Methods for Multiple IMUs

Responsible: Martin Richter

Done by Hariraj Rajkumar

Done as Masters thesis

Start: 08.07.2024

End: 13.12.2024

Formal Synthesizing of Security Risk Treatment for Automotive Systems

Responsible: Christine Jakobs

Done by Albrecht Stoye

Done as Masters thesis

Start: 12.01.2023

End: 21.06.2023