Finished Theses

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)

Fast Memory Compaction for Page Allocators

Active memory defragmentation for page allocators.

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Lars Wrenger
Daniel Lohmann
Project: ParPerOS

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

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

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)

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

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

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

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

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)

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

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)

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)

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)

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)

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)

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)

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

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

Software-Emulated Pointer Authentication for Control-Flow Integrity Protection

Design and implement a pure software solution for control-flow integrity protection via pointer authentication

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Gabriele Serra
Florian Rommel
Daniel Lohmann
Bearbeiter: Illia Ostapyshyn

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)

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)

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)

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)

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

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)

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)

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: cHash
Bearbeiter: Maximilian Werner (abgegeben: 05. Nov 2021)

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

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

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

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

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

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

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)

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)

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: cHash
Bearbeiter: Malte Müller (abgegeben: 08. Aug 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)

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)

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)

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

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

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

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: CADOS ParPerOS
Bearbeiter: Niklas Hoh

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: CADOS ParPerOS
Bearbeiter: Christian Müller

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

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: CADOS ParPerOS
Bearbeiter: Simon Burandt

ROS Timestamps for libusb in the Linux Kernel

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Björn Fiedler
Christian Dietrich
Daniel Lohmann
Project: AHA

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)

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)

Automatic Real-Time System Analysis

Typ: Masterarbeit
Status: abgeschlossen
Supervisors: Gerion Entrup
Daniel Lohmann
Project: AHA
Bearbeiter: Benedikt Steinmeier (abgegeben: 06. 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)

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)

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)

Design and Implementation of a Real-Time Aware Robot Based on ARM9 and OSEK/AUTOSAR

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Gerion Entrup
Daniel Lohmann
Project: AHA

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)

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)

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

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

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.