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.
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
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.
Status: laufend
Supervisors: Oskar Pusz, Daniel Lohmann
Project: CLASSY-FI
Bearbeiter: Jannis Bujak
Awesome benchmarks for awesome fault injection methods.
Typ: Bachelorarbeit
Status: reserviert
Supervisors: Stefan Naumann, Daniel Lohmann
Project: CADOS
Entwurf eines Systems zur persistenten Kommunikation über NVM
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.
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.
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.
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
Status: laufend
Supervisors: Stefan Naumann, Daniel Lohmann
Project: CADOS
Bearbeiter: Gabriel Behn
Entwurf eines Persistenz-Moduls für Python auf Basis von 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.
Status: laufend
Supervisors: Stefan Naumann, Daniel Lohmann
Project: CADOS
Bearbeiter: Christian Müller
Extending the Linux memory management to use NVM for swapping.