Running Theses

Static analysis and interpretation of POSIX applications

Typ: Bachelorarbeit
Status: reserviert
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Extend ARA - a (real-time) operating system analyzer - for analysis of POSIX, which enables the analysis of Linux applications.

Static analysis of Zephyr-OS applications

Typ: Bachelorarbeit
Status: reserviert
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Extend ARA - a (real-time) operating system (RTOS) analyzer - for analysis of Zephyr, an RTOS guided by the Linux Foundation

Design and Implementation of Benchmarks for Systematic Fault Injection

Typ: Bachelorarbeit
Status: laufend
Supervisors: Oskar Pusz, Daniel Lohmann
Project: CLASSY-FI
Bearbeiter: Jannis Bujak
Awesome benchmarks for awesome fault injection methods.

Entwurf und Implementierung eines Interprozess-Kommunikationsschemas über nichtflüchtigen Speicher in Linux

Typ: Bachelorarbeit
Status: reserviert
Supervisors: Stefan Naumann, Daniel Lohmann
Project: CADOS
Entwurf eines Systems zur persistenten Kommunikation über NVM

MultiSSE: Full Static Emulation of a Multicore System at the example of AUTOSAR RTOS

 
Typ: Masterarbeit
Status: laufend
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Bearbeiter: Fredo Nowak
Extend the System-State Enumeration, an real-time systems analysis technique, to support multiple cores and show the working with an implementation in ARA.

Transient-Fault Resilience of a Capability-enabled Processor Plattform

Typ: Masterarbeit
Status: laufend
Supervisors: Christian Dietrich, Oskar Pusz, Daniel Lohmann
Project: CLASSY-FI
Bearbeiter: Malte Bargholz
Integration of SAIL-based MIPS and CHERI emulators into the FAIL* fault-injection tool and quantitative fault-resilience comparision.

Fault-Space Pruning by Dynamic Register-Usage Recording

Typ: Masterarbeit
Status: reserviert
Supervisors: Christian Dietrich, Daniel Lohmann
Project: CLASSY-FI
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.

Erweiterung des Python-Programmiermodells um NVRAM-persistierte Sprachobjekte

Typ: Masterarbeit
Status: laufend
Supervisors: Stefan Naumann, Daniel Lohmann
Project: CADOS
Bearbeiter: Gabriel Behn
Entwurf eines Persistenz-Moduls für Python auf Basis von NVM

Erweiterung des Linux-Kerns um mehrstufige Seitenumlagerung für Systeme mit nichtflüchtigem Speicher (NVM)

Typ: Masterarbeit
Status: laufend
Supervisors: Stefan Naumann, Daniel Lohmann
Project: CADOS
Bearbeiter: Christian Müller
Extending the Linux memory management to use NVM for swapping.