Finished Theses
2024 (14 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
Enhancing Energy Efficiency with Advanced DRAM Management in Linux
Modern computer systems face a significant challenge in managing physical memory efficiently, especially in the context of energy consumption. Specifically, the DRAM (Dynamic Random-Access Memory) components in these systems consume a considerable amount of energy due to their constant refresh requirements.
[PDF]
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Alexander Halbuer
Christian Dietrich
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Illia Ostapyshyn (abgegeben: 01. Nov 2024)
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)
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
- Bearbeiter
- Marco Wurps (abgegeben: 02. May 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)
2023 (20 theses)
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
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)
2022 (13 theses)
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)
Software-Emulated Pointer Authentication for Control-Flow Integrity Protection
The pointer authentication feature in the ARMv8.3-A architecture provides efficient protection for pointers with minimal performance impact. Major operating systems and compilers already support PAC, anticipating its widespread adoption, yet commercial SoCs with this feature are still scarce. This thesis examines the viability of emulating this feature in software.
[PDF]
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gabriele Serra
Florian Rommel
Daniel Lohmann - Bearbeiter
- Illia Ostapyshyn (abgegeben: 23. 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
2021 (14 theses)
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
- cHashCADOS
- 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)
2020 (14 theses)
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
- CADOSParPerOS
- 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
- CADOSParPerOS
- 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
- CADOSParPerOS
- 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
- cHashCADOS
- 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)
2019 (16 theses)
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
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Bearbeiter
- Manuel Krüger (abgegeben: 13. Feb 2019)
ROS Timestamps for libusb in the Linux Kernel
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Björn Fiedler
Christian Dietrich
Daniel Lohmann - Project
- AHA
2018 (7 theses)
Analyzing and Optimizing TLB-Induced Thread Migration Costs on Linux/ARM
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Björn Fiedler
Christian Dietrich
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Tobias Landsberg (abgegeben: 21. Nov 2018)
Integration of a Priority-Obedient Interrupt Controller into the Rocket Softcore
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Christian Dietrich
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Matthias Wolf (abgegeben: 01. Nov 2018)
Fault-Space Approximation using Call-Region Fault Injection
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Oskar Pusz
Daniel Lohmann - Bearbeiter
- anonymous (abgegeben: 01. Nov 2018)
Bintail: Binary Level Tailoring of ELF Executables via Feature Selection and Variant Elimination
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Christian Dietrich
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Felix Herrmann (abgegeben: 01. Nov 2018)
Fault-Space Approximation using Basic-Block Fault Injection
[PDF]
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Oskar Pusz
Christian Dietrich
Daniel Lohmann - Bearbeiter
- Daniel Kiechle (abgegeben: 15. Oct 2018)
Measurement-Directed Application of Compiler-Assisted Dynamic Variability Management in the Linux Kernel
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Florian Rommel
Christian Dietrich
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Michael Rodin (abgegeben: 01. Oct 2018)
InterSloth: Globales Hardware-gesteuertes Scheduling in einem Multikern-Echtzeitbetriebssystem auf RISC-V
[PDF]
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Gerion Entrup
Christian Dietrich
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Malte Bargholz (abgegeben: 09. Aug 2018)
2017 (4 theses)
Integration of AST Hashing into the GCC compiler
Implementation and Analysis of a GCC Plugin to calculate an hash value over the abstract syntax tree of a compilation unit.
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Project
- cHashCADOS
Avoidance of Redundant Recompilations by Propagation of Semantic Fingerprints
Redundant-compile propagation in the make dependency graph
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann - Project
- cHashCADOS
Multiverse: Compiler-Assisted Dynamic Variability Management in the Linux Kernel
Use the multiverse compiler plugin to optimize paths in the Linux kernel
[PDF]
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Andreas Ziegler
Wolfgang Schröder-Preikschat
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Florian Rommel (abgegeben: 02. Nov 2017)
Effiziente globale Änderungsanalysen in großen C-Projekten durch Syntaxbaum-Hashing im Clang Compiler
Use the cHash method to quantify the impact of source code changes.
- Typ
- Masterarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Andreas Ziegler
Wolfgang Schröder-Preikschat
Daniel Lohmann - Project
- cHash
2016 (2 theses)
Priority-Obedient Multicore Interrupt Controller
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann
Separating Control and Data Stacks with Binary Patching
- Typ
- Bachelorarbeit
- Status
- abgeschlossen
- Supervisors
- Christian Dietrich
Daniel Lohmann