Friedrich-Alexander-Universität Erlangen-Nürnberg  /   Technische Fakultät  /   Department Informatik

Abgeschlossene studentische Arbeiten

2022-2020

A Cactus Stack Implementation for a Microparallism Runtime (EMPER-CACTUS)
Student: Nicolas Pfeiffer (handed in on 02.03.2020, Thesis file...)
Supervisors: Florian Schmaus, M. Sc., Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat


A simple and lightweight just-in-time compiler to translate the JITTY kernel from a subset of CIL to machine code exemplified on the x86-64 architecture
Student: Stefan Sächerl (handed in on 18.10.2022 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh, Dustin Nguyen, M. Sc.


Analyse der kombinierten Maßschneiderung von Betriebssystem und Anwendungsumgebung (CADOS_COMBINED)
Student: Stefan Eschenbacher (handed in on 01.02.2022 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Andreas Ziegler


Analysis and Prediction of Execution Time and Power Demand of Artificial Neural Network Inferences on a Tensor Processing
Student: Judith Hemp (handed in on 07.09.2020 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Benedict Herzog, M. Sc., Dr.-Ing. Stefan Reif, Prof. Dr.-Ing. Timo Hönig


Auslagerung von Betriebssystemfunktionalität an DMA-Einheiten
Supervisors: Phillip Raffeck, M. Sc., Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat


Compiler-Based Target-Optimization of Operating-System Functions
Student: Marco Ammon (handed in on 31.01.2020 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Bernhard Heinloth, M. Sc., Dustin Nguyen, M. Sc.


Compilergestützte Optimierung kritischer Abschnitte auf Basis vereinfachten C-Codes
Student: Kai Streitferdt (handed in on 10.03.2021 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Conception and Implementation of a Relocating Loader for OctoPOS (OctoPOS Relocating Loader)
Supervisors: Dr.-Ing. Tobias Langer, Jonas Rabenstein, M. Sc., Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat


Decoupling User and Kernel Space: A System Call Framework for OctoPOS
Student: Eva Dengler (handed in on 28.04.2020 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Tobias Langer, Jonas Rabenstein, M. Sc., Florian Schmaus, M. Sc.


Der Einfluss von Maßschneiderung auf die Wartbarkeit von Systemsoftware (CADOS_TAILORPATCH)
Supervisors: Dr.-Ing. Andreas Ziegler, Lohmann, Daniel


Design and Implementation of a 64-Bit RISC-V Port with Multicore Support for the Unix-like JITTY-OS
Student: Markus Wich (handed in on 04.04.2022 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Design and Implementation of a Porting Layer for Running Just-in-Time Compilers on Bare Metal x86 Systems
Student: Tobias Auerochs (handed in on 23.04.2020 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Design and Implementation of a Simple Multithreaded UDP/IP Network Stack Including an E1000 Network Adapter Driver for a POSIX OS
Student: David Sauerwein (handed in on 09.04.2020 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Design and Implementation of an NFS Server and Client for the JITTY Operating System
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Design and Implementation of User-, PID-, Network and Mount-Namespaces in JITTY-OS
Student: Paul Bergmann (handed in on 30.08.2022 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Design und Implementierung der TCP-Schicht im JITTY Betriebssystem mit minimalem und einfachem Locking
Student: Fabian Krüger (handed in on 18.12.2020 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Design, Implementation and Evaluation of an IPv6 Extension for the Network Stack of the JITTY Operating System
Student: Nikolas Koesling (handed in on 23.12.2022 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Designing a Lightweight Just-in-Time Compiler to Execute Kernel Code Compiled to CIL on the AMD64 Architecture
Student: Daniel Zänker (handed in on 04.08.2021 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Development of a Minimal Hardware Abstraction Layer as an Interface between a Just-in-Time Compiler and x86_64 Hardware
Student: Ferdinand Schober (handed in on 14.12.2022 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Dynamische Migrationsentscheidungen in Mehrkernsystemen
Student: Helene Gsänger (handed in on 30.11.2020, Thesis file...)
Supervisors: Phillip Raffeck, M. Sc., Prof. Dr.-Ing. Peter Ulbrich, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat


Einsatz modellprädikativer Regelung zur Entscheidungsfindung in adaptiven Echtzeitregelsystemen
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Tim Rheinfels, M. Sc.


Elevating System Request to First-Class Citizens of Work-Stealing Concurrency Platforms
Student: Florian Fischer (handed in on 06.06.2022, Thesis file...)
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Florian Schmaus, M. Sc.


Enabling Predictable Migration in Real-Time Capable Generic Operating Systems
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Phillip Raffeck, M. Sc.


Energy Implications of Spectre and Meltdown Mitigations
Student: Julian Preis (handed in on 01.02.2021 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. Timo Hönig, Benedict Herzog, M. Sc., Dr.-Ing. Stefan Reif


Entwicklung einer compilergestützten Thread-lokalen statischen Verifikation von Funktionen bezüglich ausgewählter Eigenschaften für ein Betriebsystem in C
Student: Tobias Heineken (handed in on 08.09.2022 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Entwicklung einer Mess-Infrastruktur für ein Betriebssystem am Beispiel von JITTY-OS/x86
Student: Kilian Bender (handed in on 16.03.2020 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Entwicklung eines Programms zur automatischen Erstellung von Präsentationsvideos aus Latex-Beamer-Dateien unter Einbindung eines Text-to-Speech-Konverters
Student: Tobias Kaiser (handed in on 05.07.2021 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Entwurf und Umsetzung eines Frameworks für automatisierte Betriebssystem-Tests und -Analysen am Beispiel von „JITTY OS“
Student: Christoph Volkert (handed in on 08.10.2020 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Evaluating the Cost of Preemptions and Migrations in Real-Time Schedulers
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Phillip Raffeck, M. Sc.


Evaluation of Energy-Harvesting Capabilities for a Micro Quadrocopter on Hard- and Software Level
Student: Max Stolze (handed in on 29.10.2021 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Peter Wägemann, Tim Rheinfels, M. Sc.


Extending the Linux-compatible JITTY kernel to support the FreeBSD ABI
Student: Nicolai Fischer (handed in on 19.08.2022 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Flexible and Low-Overhead System-Call Aggregation using BPF
Student: Luis Gerhorst (handed in on 23.12.2021, Thesis file...)
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Benedict Herzog, M. Sc., Dr.-Ing. Stefan Reif, Prof. Dr.-Ing. Timo Hönig


Hardening the Driver Infrastructure of JITTY OS: Ideas, Design and Implementation of Software- and Hardware-Enforced Measures against Untrusted
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Hardware/Software Co-Design for a Self-Sufficient Communication Platform with Energy-Harvesting Support
Student: Johannes Künel (handed in on 31.10.2022 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Peter Wägemann, Tim Rheinfels, M. Sc.


Improving Recovery Support for State-Machine Replication on Stream-Processing Systems
Student: Marco Ammon (handed in on 04.10.2022 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Laura Lawniczak, M. Sc., PD Dr.-Ing. habil. Tobias Distler


Konzeption und Implementierung einer Überwachungseinheit für Laufzeitmetriken in OctoPOS (OCTOMON)
Supervisors: Florian Schmaus, M. Sc., Dr.-Ing. Tobias Langer, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat


Konzeption und Realisierung eines Teststandes zur Evaluierung der Flugregelung eines Miniatur-Quadrocopters
Student: Tobias Weber (handed in on 01.12.2021 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Tim Rheinfels, M. Sc., Prof. Dr.-Ing. Peter Ulbrich


Low-power Real-time Communication in Linux-based Embedded Systems
Student: Tobias Büttner (handed in on 01.04.2020 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Stefan Reif, Benedict Herzog, M. Sc., Prof. Dr.-Ing. Timo Hönig


Of ELFs, DWARFs and ORCs: Dynamic Stack Unwinding Using Compile-time Generated Binary Debug Information Data for OctoPOS (OCTO_UNWIND)
Supervisors: Jonas Rabenstein, M. Sc., Dr.-Ing. Tobias Langer, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat


Operating System Configuration and Build System (OSCB)
Student: Roman Sommer (handed in on 01.03.2021 )
Supervisors: Florian Schmaus, M. Sc., Jonas Rabenstein, M. Sc., Dr.-Ing. Tobias Langer, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat


Portierung des JITTY-Kerns als Linux Anwendungsprozess
Student: Lukas Schneider (handed in on 02.08.2021 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


Porting of the OctoPOS operating system kernel to the Thunder X2 microprocessor (OctoPOS Thunder X2)
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Tobias Langer, Jonas Rabenstein, M. Sc.


Proxy Filesystem Support for OctoPOS (OCTO-PROXYFS)
Student: Fabian Schindlatz (handed in on 1.9.2020 )
Supervisors: Florian Schmaus, M. Sc., Jonas Rabenstein, M. Sc., Dr.-Ing. Tobias Langer, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat


Restriktion des Speicher- und Gerätezugriffs von Busgeräte-Treibern zur Erhöhung der Sicherheit von JITTY-OS
Student: Alexander Schroth (handed in on 22.12.2020 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh


RISCy StuBS - A Multithreaded Operating System for RISC-V
Student: Lorenz Kästle (handed in on 29.04.2020 )
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Bernhard Heinloth, M. Sc., Christian Eichler, M. Sc.


Specifying and Verifying Sequences and Sort Algorithms in a Rust Verifier
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Phillip Raffeck, M. Sc., Simon Schuster, M. Sc.


Using Reinforcement Learning for Decision Making in Quality-Aware Real-Time Scheduling
Student: Anna Feiler (handed in on 19.07.2021, Thesis file...)
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Tim Rheinfels, M. Sc.


Utilizing Performance Counter Information To Improve the Linux Governor Decisions
Supervisors: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Benedict Herzog, M. Sc., Dr.-Ing. Stefan Reif, Prof. Dr.-Ing. Timo Hönig