Finished 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

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)

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)

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

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)

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

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: cHash CADOS
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)

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

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: CADOS ParPerOS
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: CADOS ParPerOS
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: cHash CADOS
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)

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)

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

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