Abgeschlossene studentische Arbeiten
2022-2020
- A Cactus Stack Implementation for a Microparallism Runtime (EMPER-CACTUS)
- Bearbeiter: Nicolas Pfeiffer (beendet am 02.03.2020, Ausarbeitung...)
- Betreuer: 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
- Bearbeiter: Stefan Sächerl (beendet am 18.10.2022 )
- Betreuer: 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)
- Bearbeiter: Stefan Eschenbacher (beendet am 01.02.2022 )
- Betreuer: 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
- Bearbeiter: Judith Hemp (beendet am 07.09.2020 )
- Betreuer: 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
- Betreuer: Dr.-Ing. Phillip Raffeck, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat
- Compiler-Based Target-Optimization of Operating-System Functions
- Bearbeiter: Marco Ammon (beendet am 31.01.2020 )
- Betreuer: 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
- Bearbeiter: Kai Streitferdt (beendet am 10.03.2021 )
- Betreuer: 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)
- Betreuer: 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
- Bearbeiter: Eva Dengler (beendet am 28.04.2020 )
- Betreuer: 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)
- Betreuer: 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
- Bearbeiter: Markus Wich (beendet am 04.04.2022 )
- Betreuer: 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
- Bearbeiter: Tobias Auerochs (beendet am 23.04.2020 )
- Betreuer: 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
- Bearbeiter: David Sauerwein (beendet am 09.04.2020 )
- Betreuer: 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
- Betreuer: 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
- Bearbeiter: Paul Bergmann (beendet am 30.08.2022 )
- Betreuer: 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
- Bearbeiter: Fabian Krüger (beendet am 18.12.2020 )
- Betreuer: 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
- Bearbeiter: Nikolas Koesling (beendet am 23.12.2022 )
- Betreuer: 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
- Bearbeiter: Daniel Zänker (beendet am 04.08.2021 )
- Betreuer: 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
- Bearbeiter: Ferdinand Schober (beendet am 14.12.2022 )
- Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh
- Dynamische Migrationsentscheidungen in Mehrkernsystemen
- Bearbeiter: Helene Gsänger (beendet am 30.11.2020, Ausarbeitung...)
- Betreuer: Dr.-Ing. Phillip Raffeck, Prof. Dr.-Ing. Peter Ulbrich, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat
- Einsatz modellprädikativer Regelung zur Entscheidungsfindung in adaptiven Echtzeitregelsystemen
- Betreuer: 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
- Bearbeiter: Florian Fischer (beendet am 06.06.2022, Ausarbeitung...)
- Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Florian Schmaus, M. Sc.
- Enabling Predictable Migration in Real-Time Capable Generic Operating Systems
- Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Phillip Raffeck
- Energy Implications of Spectre and Meltdown Mitigations
- Bearbeiter: Julian Preis (beendet am 01.02.2021 )
- Betreuer: 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
- Bearbeiter: Tobias Heineken (beendet am 08.09.2022 )
- Betreuer: 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
- Bearbeiter: Kilian Bender (beendet am 16.03.2020 )
- Betreuer: 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
- Bearbeiter: Tobias Kaiser (beendet am 05.07.2021 )
- Betreuer: 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
- Bearbeiter: Christoph Volkert (beendet am 08.10.2020 )
- Betreuer: 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
- Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Phillip Raffeck
- Evaluation of Energy-Harvesting Capabilities for a Micro Quadrocopter on Hard- and Software Level
- Bearbeiter: Max Stolze (beendet am 29.10.2021 )
- Betreuer: 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
- Bearbeiter: Nicolai Fischer (beendet am 19.08.2022 )
- Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh
- Flexible and Low-Overhead System-Call Aggregation using BPF
- Bearbeiter: Luis Gerhorst (beendet am 23.12.2021, Ausarbeitung...)
- Betreuer: 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
- Betreuer: 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
- Bearbeiter: Johannes Künel (beendet am 31.10.2022 )
- Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Peter Wägemann, Tim Rheinfels, M. Sc.
- Konzeption und Implementierung einer Überwachungseinheit für Laufzeitmetriken in OctoPOS (OCTOMON)
- Betreuer: 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
- Bearbeiter: Tobias Weber (beendet am 01.12.2021 )
- Betreuer: 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
- Bearbeiter: Tobias Büttner (beendet am 01.04.2020 )
- Betreuer: 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)
- Betreuer: 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)
- Bearbeiter: Roman Sommer (beendet am 01.03.2021 )
- Betreuer: 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
- Bearbeiter: Lukas Schneider (beendet am 02.08.2021 )
- Betreuer: 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)
- Betreuer: 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)
- Bearbeiter: Fabian Schindlatz (beendet am 1.9.2020 )
- Betreuer: 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
- Bearbeiter: Alexander Schroth (beendet am 22.12.2020 )
- Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh
- RISCy StuBS - A Multithreaded Operating System for RISC-V
- Bearbeiter: Lorenz Kästle (beendet am 29.04.2020 )
- Betreuer: 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
- Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Phillip Raffeck, Simon Schuster, M. Sc.
- Using Reinforcement Learning for Decision Making in Quality-Aware Real-Time Scheduling
- Bearbeiter: Anna Feiler (beendet am 19.07.2021, Ausarbeitung...)
- Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Tim Rheinfels, M. Sc.
- Utilizing Performance Counter Information To Improve the Linux Governor Decisions
- Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Benedict Herzog, M. Sc., Dr.-Ing. Stefan Reif, Prof. Dr.-Ing. Timo Hönig
