Theses

This list is just a collection of thesis ideas that were already formulated. We always have more interesting ideas, which were not written down yet, on the topics operating systems, real-time systems, dependability, computer architecture, software variability, etc. So, if this list is empty, you find none of the presented theses ideas interesting, our you have this one brilliant idea you want to pursuit, just come around or write a mail.

Thesis Template

You can find a LaTeX and typst template (including the required cover page) for your BA/MA thesis document in our GitLab. Just copy this template to start.

Open Topics

There are currently no theses advertised. If you have an idea for a topic, feel free to contact us. 😃

Running Theses

AsyncZero: Latency Hiding of Page Zeroing in Linux

This thesis focuses on techniques to pre-zero pages or offload page zeroing to DMA devices.

 
Typ
Masterarbeit

 
Status
laufend

 
Supervisors
Lars Wrenger
Daniel Lohmann

 
Project
ParPerOS

Controlling the Kite: Static Control-Flow System Analysis for Embedded Controllers with Zephyr RTOS in ARA

The ARA toolchain shall support the system-state enumeration for Zephyr-based embedded applications.

 
Typ
Masterarbeit

 
Status
laufend

 
Supervisors
Andreas Kässens
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Vitali Fendel

Development and Analysis of an AUTOSAR Real-Time Operating System on a Multicore RISC-V Hardware Platform

In previous work, an AUTOSAR-compatible real-time operating system was developed for RISC-V in QEMU. In this thesis, it shall be deployed on real RISC-V hardware like the BeagleV®-Fire so timing measurements for RTOS-specific optimizations can be executed.

 
Typ
Bachelorarbeit

 
Status
reserviert

 
Supervisors
Andreas Kässens
Daniel Lohmann

 
Project
AHA

Experimental Setup of an Active Magnetic Bearing for Real-Time Operating System Research

For optimization of RTOS, an experimental setup to prove the applicability for real world systems shall be built.

 
Typ
Studienarbeit

 
Status
reserviert

 
Supervisors
Andreas Kässens
Daniel Lohmann

 
Project
AHA

Initial Development of a multicore RTOS based framework

Development of an efficient Embedded Software Framework for a new target including RTOS adaptation and multicore CPU communication.

 
Typ
Masterarbeit

 
Status
laufend

 
Supervisors
Tim-Marek Thomas
Daniel Lohmann

Interaction-Level Specialization of RISC-V Soft Cores for Zephyr RTOS with ARA

The specialization of Real-Time operating systems can be extended to the hardware. Using a RISC-V Soft Core, tailored hardware for the Zephyr RTOS shall be implemented.

 
Typ
Masterarbeit

 
Status
reserviert

 
Supervisors
Andreas Kässens
Daniel Lohmann

 
Project
AHA

LLMmap: Improving Memory Reclamation by Sharing the Allocation State in Linux

We want to give the kernel a better way to see which pages are used in processes so that it can reclaim unused memory more effectively.

 
Typ
Bachelorarbeit

 
Status
reserviert

 
Supervisors
Lars Wrenger
Daniel Lohmann

 
Project
ParPerOS

RTOS of the Day: Performance Comparison and Analysis of Open Source Real-Time Operating Systems

For optimization of RTOS, we need a performance measurement baseline. RTOS-specific benchmarks like ThreadMetric can provide numbers on how some implementations are more or less suitable for time-critical applications.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Andreas Kässens
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Jan Heinemeyer

Finished Theses

2024 (13 theses)

LLFreeBSD: Integrating the LLFree Page Frame Allocator into FreeBSD

We now have a C-based LLFree implementation that can be integrated into other OS's. This topic focuses on the integration of LLFree into the FreeBSD operating system.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Lars Wrenger
Daniel Lohmann

 
Project
ParPerOS

Integration and Optimization of a Variability-Aware LLVM-Based Toolchain for Highly Configurable Software

Integrate and optimize existing LLVM-based tools into a variability-aware toolchain for highly configurable software.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Tobias Landsberg
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Johannes Grunenberg

Implementing Content-Based Regression Test Selection Using the LLVM Intermediate Representation

Extract connections between defining elements of LLVM intermediate representation to improve regression test selection using the example of TASTING.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Tobias Landsberg
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Tino Lorenz

Extending GNU Make With Custom Fingerprints to Reduce Redundant Recompilation

Extend Make to include generic metadata into its build decision reducing redudant builds

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Tobias Landsberg
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Sergej Reich

Enhancing Energy Efficiency with Advanced DRAM Management in Linux

Modern computer systems face a significant challenge in managing physical memory efficiently, especially in the context of energy consumption. Specifically, the DRAM (Dynamic Random-Access Memory) components in these systems consume a considerable amount of energy due to their constant refresh requirements. [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Alexander Halbuer
Christian Dietrich
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Illia Ostapyshyn (abgegeben: 01. Nov 2024)

On the Power Estimation of a RISC-V Platform using Performance Monitoring Counters and RTOS Events

Build an evaluation setup with the aim to create an power model for a RISC-V platform [PDF]

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Tim-Marek Thomas
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Johannes Arnold (abgegeben: 14. Oct 2024)

Implementation of Optimized AUTOSAR Systems for RISC-V with ARA

Extending the AUTOSAR Synthesis in ARA to support multicore RISC-V targets

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Andreas Kässens
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Arved Blöcker (abgegeben: 05. Aug 2024)

Efficient Swapping of Shared Virtual-Memory Objects

By design, morsels exist in main memory without being just an intermediate representation of a file. However, for some applications it would be desirable to store objects on a disk in order to persist its data during reboots or to cope with limited main memory.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Julian-Dominik Helmsen (abgegeben: 05. Aug 2024)

Generic Metadata Transport of High-Level–Language Properties between LLVM-Compiler Front and Middle End for Static Analysis

Extract Token or AST information from Clang that are useful for static analysis and transfer it into the Middleend.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

Page Eviction for Shared Virtual-Memory Objects

The translation lookaside buffer (TLB) caches present page table entries, so that pages can not be unmapped by simply clearing the related page table entry. However, page eviction is vital for implementing advanced features like swapping and huge-page merging.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Tim Hollmann (abgegeben: 03. Jul 2024)

Optimizing Memory Metadata: Dynamic Allocation of Struct Pages in the Linux Kernel

Dynamically allocate a struct page in cases where it is needed and omit the memory overhead in cases where it is not.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Lars Wrenger
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Paul Aumann (abgegeben: 14. Jun 2024)

Efficient Copy-on-Write for Virtual-Memory Objects

Implementing classical, full-featured COW with multiple nesting levels would introduce substantial management overhead on the operating system side. Our goal with Morsels is to eliminate this overhead while retaining limited COW functionality.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Pasha Fistanto (abgegeben: 02. May 2024)

Huge Pages for Virtual-Memory Objects

Currently, Morsels only support 4-KiB pages, but with larger page sizes the management overhead could be further reduced and the average memory access could be sped up, due to faster page-table walks and an increased TLB coverage.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Marko Bolowski (abgegeben: 18. Mar 2024)

2023 (21 theses)

Synchronized Thread-Level Address-Space Views for the Dragonfly BSD Kernel

Extending the DragonFly BSD kernel to allow the usage of ATLAS synchronized thread-level address-space views in userspace processes

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Dominik Töllner
Daniel Lohmann

 
Project
ATLAS

Structured Design of LaTeX-Beamer Slides and their Presentation in Multi-Moniter Environments

Create and extend the software support for multi-monitor presentations and evaluate useful usage and application scenarios.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Alexander Halbuer
Daniel Lohmann

 
Bearbeiter
Simon Hermes

Leveraging Application-Specific Knowledge to Guide Statistical Fault Injection

Awesome sampling methods for fast fault injection campaigns.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Tim-Marek Thomas
Daniel Lohmann

 
Project
CLASSY-FI

Investigating Total Store Ordering on the ARM M1

Analyzing the performance impact of Total Store Ordering on the M1 ARM Processor.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Lars Wrenger
Dominik Töllner
Daniel Lohmann

 
Project
ParPerOS

Hardening Rust: Extending the Compiler and Runtime for Dynamic Object Layout Randomization

Defense for Rust programs against data-only attacks via efficient dynamic object layout randomization

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Dominik Töllner

 
Project
ATLAS

 
Bearbeiter
Jan Neugebauer

Fast Memory Ballooning for Virtual Machines with LLFree

Implementing hypervisor memory overcommitment with shared LLFree allocators.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Lars Wrenger
Daniel Lohmann

 
Project
ParPerOS

Efficient Serialization of Page-Table-Based Virtual Memory Objects

With the discontinuation of Intel Optane and persistent memory being rarely available in general, alternative solutions need to be considered. One approach is to persist virtual memory objects on disk when persistent memory is not available.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

Design and Implementation of an HDMI Text-Terminal Peripheral for the LiteX SoC Generator

Implement text-mode peripherals for displaying character based graphics onto HDMI displays. The device should be integrated into the LiteX SoC generator to be used in FPGA-based soft cores.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Christian Dietrich
Daniel Lohmann

 
Bearbeiter
Farhad Javadi

De-slacking MultiSSE: Improving Timing Analysis and Code Synthesis in ARA, an LLVM-Based Whole-System Compiler for Multi-Core Real-Time Systems

Reduce the slack to make the MultiSSE capable of analyzing large systems and manifest that time also in a synthezised image.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Björn Fiedler
Daniel Lohmann

 
Project
AHA

Context-Based Mitigations for Side-Channel Attacks via Kernel Address-Space Views in Linux

Using Linux kernel address-space views to selectively enable kernel side-channel mitigations for specific tasks

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Daniel Lohmann

 
Project
ParPerOS

IOMMU-assisted Memory Management: Sharing Virtual Memory Objects for Efficient Computing

Efficient Memory Management for Modern Computing Systems: Sharing Morsel Virtual Memory Objects between Processors and Devices via IOMMU.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Kenny Albes (abgegeben: 05. Dec 2023)

Morsel Managment Layer: Making Morsels Actually Useful

Bringing the new morsel memory abstraction to applications.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Darian Biastoch (abgegeben: 26. Oct 2023)

DynMELF: Extending the LLVM Linker to Support Dynamic Library Switching in MELFs

Extend the MELF approach allow switching between different implementations of dynamically linked library functions.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Dominik Töllner
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Jens Köneke (abgegeben: 08. Oct 2023)

Databases on NVRAM

Bringing the advantages of non-volatile memory to database applications using the new morsel memory primitive as efficient abstraction layer.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Matthias Wormann (abgegeben: 02. Oct 2023)

Investigating Suspend to Disk in Linux

Researching and optionally extending the Linux Suspend to Disk Mechanism.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Lars Wrenger
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Jannik Jahn (abgegeben: 25. Sep 2023)

LLC: DeRUSTing the Lo(ck|g)-Free Allocator for a C-Based OS Integration

Porting the LLFree concept from Rust to C, to simplify the integration into C-based OSs.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Lars Wrenger
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Helge Misfeldt (abgegeben: 18. Aug 2023)

Crossing the red light: Locks that never lock don't have to be taken.

Implement and evaluate an AUTOSAR synthesis with Lock Elision [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Andreas Kässens (abgegeben: 14. Jun 2023)

Configurable Depth Analysis: Create a meta analysis to statically analyze a system in different depths

Orchestrate different existing static analysis techniques to analyze a real-time system in different depths and show the working with an implementation in ARA.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

Cloudbasiertes Sensorökosystem und Datawarehouse am Beispiel einer zu entwickelnden energieoptimierten Bürotemperierung

Aufbau und Evaluation eines Sensorökosystems für die energie- und nutzenoptimierte Steuerung von Raumparametern wie Temperatur, Lüftung und Beleuchtung.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Daniel Lohmann

Fast Memory Compaction for Page Allocators

Active memory defragmentation for page allocators.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Lars Wrenger
Daniel Lohmann

 
Project
ParPerOS

Design and Implementation of an OSEK-Conform Hard Real-Time Application Using LEGO Mindstorms EV3


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Barbara Seidl (abgegeben: 18. Mar 2023)

2022 (13 theses)

Predictive Run-Time Attack-Space Reduction

Extend context-based text elimination by a predictive approach.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Daniel Lohmann

 
Project
ATLAS

Multiverse: Extending LLVM by Compiler-Assisted Dynamic Variability for Structs

Extending LLVM by Compiler-Assisted Dynamic Variability for Structs.

 
Typ
Forschungsprojekt

 
Status
abgeschlossen

 
Supervisors
Tobias Landsberg
Florian Rommel
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Nishal Kulkarni

Primitives and Abstractions for Self-Contained Virtual-Memory Areas in the Linux kernel

Implement the basic abstraction for self-contained virtual-address-space areas in Linux, by which we want to ease the allocation, the sharing, and the management of huge amounts of memory. [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Lars Wrenger
Florian Rommel
Christian Dietrich
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Alexander Halbuer (abgegeben: 16. Nov 2022)

Evaluation and Adaptation of an LLVM-Based Whole-System-Compiler for Optimizing Embedded RISC-V/ARM Systems

Evaluate ARA's FreeRTOS optimizations on IronOS and InfiniTime and test in on real hardware.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Tobias Landsberg
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Domenik Kuhn (abgegeben: 26. Sep 2022)

Software-Emulated Pointer Authentication for Control-Flow Integrity Protection

The pointer authentication feature in the ARMv8.3-A architecture provides efficient protection for pointers with minimal performance impact. Major operating systems and compilers already support PAC, anticipating its widespread adoption, yet commercial SoCs with this feature are still scarce. This thesis examines the viability of emulating this feature in software. [PDF]

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gabriele Serra
Florian Rommel
Daniel Lohmann

 
Bearbeiter
Illia Ostapyshyn (abgegeben: 23. Sep 2022)

What You See Is What I Want: Extending the LLVM Linker for View-Local Data in Multivariant ELFs

Extend the multivariant ELF approach to allow data to be view-local and not shared across multiple views.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Dominik Töllner
Daniel Lohmann

 
Project
ATLAS

 
Bearbeiter
Max Känner (abgegeben: 19. Sep 2022)

Multiverse: Extending LLVM by Compiler-Assisted Dynamic Variability

Rewrite the Multiverse compiler plugin using LLVM.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Tobias Landsberg
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Nils Fuhler (abgegeben: 19. Sep 2022)

Mindstorming with Erika: Porting an OSEK/AUTOSAR conform operating system to ARM9


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Tim-Marek Thomas
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Jasper Lorenz (abgegeben: 09. Sep 2022)

Size does matter: Extending the LLVM Linker for Fine-Granular Multivariant ELF Executables

Extend the multivariant ELF approach to allow the building of fine-granular executables.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Dominik Töllner
Florian Rommel
Daniel Lohmann

 
Project
ATLAS

 
Bearbeiter
Jan Luca Willke (abgegeben: 11. Aug 2022)

Design and Implementation of a Windows based Kernel Anti-Cheat to Ensure Realtime Integrity and a Tamper-Free Environment

Exploratory work in the field of anti-cheat systems.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Tim-Marek Thomas
Daniel Lohmann

Lo(ck|g)-free Page Allocator for Non-Volatile Memory in the Linux Kernel

Designing and implementing a lock-free and log-free page allocator for morsels, a new abstraction for the management of non-volatile memory in the linux kernel [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Christian Dietrich
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Lars Wrenger (abgegeben: 04. Apr 2022)

Let ARA Fly Fast: Optimizing an LLVM-Based Whole-System Optimizer for Embedded Real-Time Systems via Systematic Profiling

Make ARA fast. How fast? Really fast with profiling and performance tuning.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

Bringing Light into the Dark: Interactive Graph Visualization of Static Analyses for Real-Time Operating Systems

Extend the analyses steps of ARA with a multi step visualization

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

2021 (14 theses)

Slothful Bird: Extend the ARA System Generator by a Sloth Backend for FreeRTOS and OSEK

Extend the ARA Generator with a backend using the interrupt controller as scheduler and dispatcher.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Daniel Lohmann

 
Project
AHA

Multivariant ELF Executables for Dynamic Variability via Address-Space Views

Extend the ELF format to support binaries with multiple code variants for the use with ATLAS addess space views [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Daniel Lohmann

 
Project
ATLAS

 
Bearbeiter
Dominik Töllner

Meson Language Design: Construction and Automatic Checking of a Meson-Object Classification

Develop a classification for the Meson domain specific language and to tool to check for it

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Paul Aumann

Extending DragonFly BSD for Synchronized Thread-Level Address-Space Views

Extending the DragonFly BSD kernel to allow the usage of ATLAS synchronized thread-level address-space views in userspace processes

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Daniel Lohmann

 
Project
ATLAS

ARA in the wild: Systematic Application and Evaluation of ARA as a Whole-System Optimizer on Real-World Applications

ARA is a whole system analyzer and optimizer. This thesis should investigate in an empirical study about the improvements derived from ARA's specializations.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Daniel Lohmann

 
Project
AHA

Source-to-source Transformation with Clang: Traversing the AST to Uniquely Identify and Mark C++ Macros

Extend the C preprocessor with automatic function markers that are usable in ARA

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

Efficient Change Impact Quantification by Global AST Hashing

Indentify and quantify change impact in open-source projects by designing an analysis using global AST hashing [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Tobias Landsberg
Daniel Lohmann

 
Project
cHashCADOS

 
Bearbeiter
Maximilian Werner (abgegeben: 05. Nov 2021)

Design and Implementation of an Early Timeout-Detection Mechanism for Systematic Fault-Injection Campaigns

Avoiding unnecessary fault-injection campaign run time

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Oskar Pusz
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Tim-Marek Thomas (abgegeben: 22. Oct 2021)

System Calls as Prepared Statements: Extend ARA to Precompute Interaction System Calls

Extend the ARA to precompute interaction system calls like queue.send(data).

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Lukas Berg (abgegeben: 20. Sep 2021)

Fixed-Point Analysis in SVF: Iterative Value Flow Graph Construction

Extent ARA's value analysis to pointers, conditions and loops.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

Whole-Program Analysis of POSIX/Linux-Applications: Design and Implementation of an Operating-System Model

Extend ARA - a (real-time) operating system analyzer - for analysis of POSIX, which enables the analysis of Linux applications.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Jan Neugebauer (abgegeben: 29. Jul 2021)

Pruning of Soft-Error Fault Spaces by Dynamic Register-Usage Tracing in a Formal Instruction-Set Model

In this thesis, the SAIL compiler should be extended to allow the C-emulator to record all dynamic register reads and writes to these state registers. This information should then be integrated into the FAIL* toolchain to inject only those state registers that are actually used by a given executed instruction.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Yannick Loeck (abgegeben: 26. May 2021)

Design and Implementation of Benchmarks for Systematic Fault Injection

Awesome benchmarks for awesome fault injection methods.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Oskar Pusz
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Jannis Bujak (abgegeben: 02. Mar 2021)

Design und Implementierung eines Zephyr-RTOS-Modells für ARA zur statischen Whole-System-Analyse

Extend ARA - a (real-time) operating system (RTOS) analyzer - for analysis of Zephyr, an RTOS guided by the Linux Foundation

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Kenny Albes (abgegeben: 28. Feb 2021)

2020 (14 theses)

Vermeidung von Seitenfehlern zum Programmstart durch einen persistent-prädiktiven Seitenzwischenspeicher im Linux Kern

Seitenfehler beim Start von Programmen sollen durch einen Seitenzwischenspeicher im NVRAM vermieden werden. Dazu soll der Linux Kern entsprechend erweitert werden, die Zugriffe zu speichern und bei späteren Programmstarts ohne Pagefault einzublenden.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Stefan Naumann
Daniel Lohmann

 
Project
CADOSParPerOS

 
Bearbeiter
Simon Burandt

Erweiterung des Python-Programmiermodells um NVRAM-persistierte Sprachobjekte

Entwurf eines Persistenz-Moduls für Python auf Basis von NVM

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Stefan Naumann
Daniel Lohmann

 
Project
ParPerOS

Erweiterung des Linux-Kerns um mehrstufige Seitenumlagerung für Systeme mit nichtflüchtigem Speicher (NVM)

Extending the Linux memory management to use NVM for swapping.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Stefan Naumann
Daniel Lohmann

 
Project
CADOSParPerOS

 
Bearbeiter
Christian Müller

Entwurf und Implementierung einer leichtgewichtigen Linux-Programmbibliothek für persistent-adressierte, nicht-flüchtige Speicherbereich

Eine leichtgewichtige User Space Bibliothek soll entworfen und implementiert werden um effizient mit einem persistent-addressierten nicht-flüchtigen Speicherbereich arbeiten zu können.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Stefan Naumann
Daniel Lohmann

 
Project
CADOSParPerOS

 
Bearbeiter
Niklas Hoh

Effizientes Laden dünn besetzter Datenstrukturen auf eingebetteten Systemen

Introduction of Sparse Data Segments for Embedded Systems

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Jannis Thöle

Design and Implementation of a Graphical Simulator for a Pipelined Processor Architecture

Implement and evaluate a CPU simulator for a pipelined MIPS-like architecture with a graphical presentation on the block-diagram level

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Jürgen Brehm

 
Bearbeiter
Kwok-Fung Choi

Design and Implementation of a Configurable Simulator for an Educational Microcoded Processor Architecture

Implement and evaluate a CPU simulator for a microcoded processor architecture that is used in our courses

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Jürgen Brehm

Compile-Time Malloc: Static Analysis and Replacement of Formerly Dynamic Memory Allocations using LLVM and the ARA Framework.

Move all statically analyzable allocations into compile-time.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Christoph Möller

MultiSSE: Full Static Emulation of a Multicore System at the example of AUTOSAR RTOS

Extend the System-State Enumeration, an real-time systems analysis technique, to support multiple cores and show the working with an implementation in ARA.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Fredo Nowak (abgegeben: 24. Dec 2020)

Transient-Fault Resilience of a Capability-enabled Processor Plattform

Integration of SAIL-based MIPS and CHERI emulators into the FAIL* fault-injection tool and quantitative fault-resilience comparision. [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Malte Bargholz (abgegeben: 01. Nov 2020)

Formalizing the Execution Semantics of the AVR Instruction Set with the Description Language SAIL

Implementing the AVR-processor instruction-set architecture in SAIL for generating emulators automatically.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Oskar Pusz
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Luca Nedaskovskij (abgegeben: 16. Oct 2020)

Implementierung und Evaluation eines FUSE-Dateisystems für Linux zur Integration erweiterter Änderungsdetektionsverfahren in Buildsystemen

Implementation of a Filesystem in Userspace to add cHash support to Make

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Tobias Landsberg
Daniel Lohmann

 
Project
cHashCADOS

 
Bearbeiter
Malte Müller (abgegeben: 08. Aug 2020)

Acceleration of Fault-Injection Campaigns through Early Timeout Detection

Developing methods to avoid unnecessary fault-injection campaign run time

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Oskar Pusz
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Felix Siegel (abgegeben: 22. May 2020)

Idealer Gebrauch von LLVM-Optimierungstechniken zur Verbesserung statischer Analyse von Echtzeitsystemen

Extend ARA - a tool for static (real-time) operating system analysis - to use as much already implemented LLVM analyses as possible

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Manuel Breiden (abgegeben: 19. Apr 2020)

2019 (16 theses)

Statische Instanziierung von FreeRTOS Systemobjekten zur Verbesserung nichtfuntionaler Eigenschaften mit dem ARA Codegenerator Framework

A compile-time generator for static FreeRTOS system objects

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Daniel Lohmann

 
Project
AHA

Investigating Non-Disruptive Checkpoints via Address-Space Clones in Linux-Based Non-Volatile Memory Systems

Modifying the Linux kernel to allow using virtual address space clones to implement non-disruptive checkpoints and coredumps.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Sergej Perschin

Investigating Microarchitectural Effects on Code Optimization for Specific Processor Models

Research the effects of compiler optimization flags on different processor architectures and their impact on the code being executed.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Stefan Naumann
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Vitali Fendel

How to trust the Snake: Extending the Chain of Trust to Interpreted Languages on Highly Embedded Systems

Extend Micropython so, that it can decide whether or not the code was put in place by the developer, not a hacker. Also the integrity of the code needs to be proven during execution.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Stefan Naumann
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Lars Wrenger

Automatische Generierung statistisch spezialisierter FreeRTOS-Kerne mit LLVM

A compile-time generator for static FreeRTOS system objects

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Jonas Hollmann

Accelerate Micropython: Developing Accelerators for Micropython on the RISC-V platform

Benchmark Micropython, identify spots to accelerate and propose hardware accelerators for the Micropython interpreter.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Stefan Naumann
Daniel Lohmann

 
Project
AHA

Extending the Linux Kernel for Wait-Free Live Patching of Multi-Threaded Processes

Using virtual address space clones to avoid blocking on a global barrier in live patching situations and implement this mechanism in the Linux kernel.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Christian Dietrich
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Lennart Glauer (abgegeben: 20. Nov 2019)

Run-Time Binary Patching for Systems with Dynamically Loadable Modules

Explore the possibilities of using multiverse on systems with loadable modules by extending its semantics and implementation.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Dominik Töllner (abgegeben: 01. Sep 2019)

Schotbruch: Automatisierte Ableitung von Injektionsplattformen für transiente Hardwarefehler aus formalen Prozessormodellen

Use SAIL language to integrate an ISA implementations into a fault injection framework. Different CPU architectures shall be evaluated for reliability. [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Marcel Budoj (abgegeben: 08. May 2019)

Measuring Effects of Compiler Flags on Different Processor Architectures


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Florian Rommel
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Carlo Schmitt (abgegeben: 21. Mar 2019)

bAUTOSAR: A Javascript Real-Time Abstraction for Improved Website Responsiveness

An OSEK-like real-time abstraction for prioritized execution of Javascript programs.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Bearbeiter
Robin Thrift (abgegeben: 15. Mar 2019)

Automatic Real-Time System Analysis


 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Benedikt Steinmeier (abgegeben: 06. Mar 2019)

Data-Flow Analysis for Fault-Equivalence Set Forming on the ISA Layer


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Oskar Pusz
Christian Dietrich
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Zena Obeidi (abgegeben: 01. Mar 2019)

Untersuchung von Angriffszenarien aus dem Desktopberreich auf Linux-basierte Infotainmentsysteme im Automobil

Welche Gefahren und Möglichkeiten ergeben sich durch Angriffsroutinen aus dem Desktopbereich für den Einsatz von Automotive Grade Linux (AGL) in automobilen Anwendungen

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Bearbeiter
Manuel Krüger (abgegeben: 13. Feb 2019)

ROS Timestamps for libusb in the Linux Kernel


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Christian Dietrich
Daniel Lohmann

 
Project
AHA

2018 (7 theses)

Analyzing and Optimizing TLB-Induced Thread Migration Costs on Linux/ARM


 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Christian Dietrich
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Tobias Landsberg (abgegeben: 21. Nov 2018)

Integration of a Priority-Obedient Interrupt Controller into the Rocket Softcore


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Christian Dietrich
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Matthias Wolf (abgegeben: 01. Nov 2018)

Fault-Space Approximation using Call-Region Fault Injection


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Oskar Pusz
Daniel Lohmann

 
Bearbeiter
anonymous (abgegeben: 01. Nov 2018)

Bintail: Binary Level Tailoring of ELF Executables via Feature Selection and Variant Elimination


 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Christian Dietrich
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Felix Herrmann (abgegeben: 01. Nov 2018)

Fault-Space Approximation using Basic-Block Fault Injection

[PDF]

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Oskar Pusz
Christian Dietrich
Daniel Lohmann

 
Bearbeiter
Daniel Kiechle (abgegeben: 15. Oct 2018)

Measurement-Directed Application of Compiler-Assisted Dynamic Variability Management in the Linux Kernel


 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Christian Dietrich
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Michael Rodin (abgegeben: 01. Oct 2018)

InterSloth: Globales Hardware-gesteuertes Scheduling in einem Multikern-Echtzeitbetriebssystem auf RISC-V

[PDF]

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Christian Dietrich
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Malte Bargholz (abgegeben: 09. Aug 2018)

2017 (4 theses)

Integration of AST Hashing into the GCC compiler

Implementation and Analysis of a GCC Plugin to calculate an hash value over the abstract syntax tree of a compilation unit.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Project
cHashCADOS

Avoidance of Redundant Recompilations by Propagation of Semantic Fingerprints

Redundant-compile propagation in the make dependency graph

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Project
cHashCADOS

Multiverse: Compiler-Assisted Dynamic Variability Management in the Linux Kernel

Use the multiverse compiler plugin to optimize paths in the Linux kernel [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Andreas Ziegler
Wolfgang Schröder-Preikschat
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Florian Rommel (abgegeben: 02. Nov 2017)

Effiziente globale Änderungsanalysen in großen C-Projekten durch Syntaxbaum-Hashing im Clang Compiler

Use the cHash method to quantify the impact of source code changes.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Andreas Ziegler
Wolfgang Schröder-Preikschat
Daniel Lohmann

 
Project
cHash

2016 (2 theses)

Priority-Obedient Multicore Interrupt Controller


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

Separating Control and Data Stacks with Binary Patching


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann