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
- reserviert
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
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
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
- laufend
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Maurice Höppner
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
Formalizing the Execution Semantics of the Armv6-M Architecture with SAIL
Implement the ARMv6-M instruction set architecture in SAIL for emulator generation
- Typ
- Bachelorarbeit
- Status
- reserviert
- Supervisors
- Tim-Marek Thomas
Daniel Lohmann - Project
- AHA
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
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
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 RTOS Events
Extend an evaluation setup with the aim to create an power usage estimation model based on RTOS Events
- Typ
- Bachelorarbeit
- Status
- reserviert
- Supervisors
- Tim-Marek Thomas
Daniel Lohmann - Project
- AHA
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
- reserviert
- Supervisors
- Lars Wrenger
Daniel Lohmann - Project
- ParPerOS
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
- reserviert
- Supervisors
- Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS