Running Theses

AUTOSAR on Xen: Virtualized Real-Time Operating Systems with ARA

Complex embedded computing systems shift to partitioning multicore hardware e.g. using the Xen hypervisor. Our AUTOSAR implementation shall be extended to support execution on an hypervised ARMv8 system.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Andreas Kässens
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Sam Edding

Developing a low-level NVMe driver for microbenchmarks

Development of a low-level open-source NVMe driver to enable microbenchmarks exploring performance characteristics of modern NVMe drives.

 
Typ
Bachelorarbeit

 
Status
reserviert

 
Supervisors
Kenny Albes
Daniel Lohmann

 
Project
ParPerOS

Dynamic Metadata Management for Virtual-Memory Objects

Hash tables allow for memory-efficient handling of metadata, particularly in scenarios where numerous properties remain unused for extended periods of time. Nevertheless, existing implementations are not optimized for workloads characterized by a large number of small objects and stringent low-latency requirements.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Alex Alfonso Trigo

HyperSSE: Static Analysis of Real-Time Hypervisor Systems

Complex embedded computing systems shift to partitioning multicore hardware e.g. using the Xen hypervisor. The static analysis in ARA shall be extended to support analyzing basic synchronization mechanisms of such systems.

 
Typ
Masterarbeit

 
Status
laufend

 
Supervisors
Andreas Kässens
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Mareike Burg

Implementation of an ARMv6-M SAIL-Model for Fault Injection using FAIL*

Implement the ARMv6-M instruction set architecture in SAIL for emulator generation

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Tim-Marek Thomas
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Carsten Drewes

Multi-Target Virtual-Memory Objects

Paging has established as goto solution for memory virtualization, but actual implementations differ. Multiple sychronized views could fill the gap to allow direct sharing between different domains.

 
Typ
Bachelor-/Masterarbeit

 
Status
laufend

 
Supervisors
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Nils Fuhler

Power Usage Estimation of a RISC-V Platform using Zephyr-RTOS Events

Extend an evaluation setup with the aim to create an power usage estimation model based on RTOS Events

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Tim-Marek Thomas
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Jan de Vries

Spatially Grouping Allocations based on their Context to avoid Memory Fragmentation in Linux

We want to give the kernel page frame allocator more information allowing it group allocations intelligently and avoid fragmentation.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Lars Wrenger
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Oliver Zeitz

System-Independent Cost Model Derivation for Energy-Aware Compaction

Effective memory compaction and reclamation with the goal of saving energy requires precise prediction about its costs and benefits. In this thesis, statistical methods shall be evaluated to automatically derive a cost model for energy-aware compaction.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Illia Ostapyshyn
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Anastasiia Martynkova

Transparent Huge Pages for Virtual-Memory Objects

Morsels are currently limited to a single, unified page size per object (4 KiB, 2 MiB, or 1 GiB), which must be defined at creation time. To better accommodate real-world application needs, a more flexible implementation that supports variable page sizes is required.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Marvin Steiner