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