Teaching Activities of Daniel Lohmann

I give lectures, labs, and seminars around the topic of system software and its development. The following lists all lectures I have hold at LUH since summer term 2017. Look here for a my list of teaching activities before that time.

Sommer 2019

• Betriebssystembau und Betriebsystembau für Mehrkernsysteme
• Projekt SRA
• Proseminar Parallelverarbeitung
• Oberseminar SRA

Winter 2018

• Grundlagen der Betriebssysteme
• Labor: Betriebssystemtechnik
• Seminar: Coprozessoren (AKSI)
• Oberseminar SRA

Sommer 2018

• Betriebssystembau und Betriebsystembau für Mehrkernsysteme
• Projekt SRA
• Proseminar Parallelverarbeitung
• Oberseminar SRA

Winter 2017

• Labor: Betriebssystemtechnik
• Seminar: Linux-Kern (AKSI)

Summer 2017

• Betriebssystembau
• Betriebssysteme

Theses

Open Theses

Bring Support for the POSIX API to ARA

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

Bring Support for Zephyr Analysis to ARA

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

Running Theses

Effizientes Laden dünn besetzter Datenstrukturen auf eingebetteten Systemen

Typ: Bachelorarbeit
Status: laufend
Supervisors: Björn Fiedler, Daniel Lohmann
Project: AHA
Bearbeiter: Jannis Thöle
Introduction of Sparse Data Segments for Embedded Systems

Integrating the AVR Instruction Set Architecture into a Generator for Processor Emulators.

Typ: Bachelorarbeit
Status: reserviert
Supervisors: Christian Dietrich, Oskar Pusz, Daniel Lohmann
Project: CLASSY-FI
Implementing the AVR-processor instruction-set architecture in SAIL for generating emulators automatically.

Design and Implementation of a Graphical Simulator for a Pipelined Processor Architecture

Typ: Bachelorarbeit
Status: laufend
Supervisors: Florian Rommel, Jürgen Brehm
Bearbeiter: Kwok-Fung Choi
Implement and evaluate a CPU simulator for a pipelined MIPS-like architecture with a graphical presentation on the block-diagram level

Implementierung und Evaluation eines FUSE-Dateisystems für Linux zur Integration erweiterter Änderungsdetektionsverfahren in Buildsystemen

Typ: Bachelorarbeit
Status: laufend
Supervisors: Tobias Landsberg, Daniel Lohmann
Project: cHash
Bearbeiter: Malte Müller
Implementation of a Filesystem in Userspace to add cHash support to Make

Investigating Non-Disruptive Checkpoints via Address-Space Clones in Linux-Based Non-Volatile Memory Systems

Typ: Masterarbeit
Status: laufend
Supervisors: Florian Rommel, Daniel Lohmann
Project: CADOS
Bearbeiter: Sergej Perschin
Modifying the Linux kernel to allow using virtual address space clones to implement non-disruptive checkpoints and coredumps.

Transient-Fault Resilience of a Capability-enabled Processor Plattform

Typ: Masterarbeit
Status: laufend
Supervisors: Christian Dietrich, 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.

Acceleration of Fault-Injection Campaigns through Early Timeout Detection

Typ: Masterarbeit
Status: laufend
Supervisors: Oskar Pusz, Daniel Lohmann
Project: CLASSY-FI
Bearbeiter: Felix Siegel
Developing methods to avoid unnecessary fault-injection campaign run time

Schotbruch: Automatisierte Ableitung von Injektionsplattformen für transiente Hardwarefehler aus formalen Prozessormodellen

Typ: Masterarbeit
Status: laufend
Supervisors: Christian Dietrich, Oskar Pusz, Daniel Lohmann
Project: CLASSY-FI
Bearbeiter: Marcel Budoj
Use SAIL language to integrate an ISA implementations into a fault injection framework. Different CPU architectures shall be evaluated for reliability.

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.

Finished Theses

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

InterSloth: Globales Hardware-gesteuertes Scheduling in einem Multikern-Echtzeitbetriebssystem auf RISC-V

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Gerion Entrup, Christian Dietrich, Daniel Lohmann
Project: AHA
Bearbeiter: Malte Bargholz (abgegeben: 09. Aug 2018)
[PDF]

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)

Automatische Generierung statistisch spezialisierter FreeRTOS-Kerne mit LLVM

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Björn Fiedler, Daniel Lohmann
Project: AHA
Bearbeiter: Jonas Hollmann
A compile-time generator for static FreeRTOS system objects

Statische Instanziierung von FreeRTOS Systemobjekten zur Verbesserung nichtfuntionaler Eigenschaften mit dem ARA Codegenerator Framework

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Björn Fiedler, Daniel Lohmann
Project: AHA
A compile-time generator for static FreeRTOS system objects

Untersuchung von Angriffszenarien aus dem Desktopberreich auf Linux-basierte Infotainmentsysteme im Automobil

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Christian Dietrich, Daniel Lohmann
Bearbeiter: Manuel Krüger (abgegeben: 13. Feb 2019)
Welche Gefahren und Möglichkeiten ergeben sich durch Angriffsroutinen aus dem Desktopbereich für den Einsatz von Automotive Grade Linux (AGL) in automobilen Anwendungen

Investigating Microarchitectural Effects on Code Optimization for Specific Processor Models

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Stefan Naumann, Daniel Lohmann
Project: AHA
Bearbeiter: Vitali Fendel
Research the effects of compiler optimization flags on different processor architectures and their impact on the code being executed.

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)

Run-Time Binary Patching for Systems with Dynamically Loadable Modules

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Florian Rommel, Daniel Lohmann
Project: CADOS
Bearbeiter: Dominik Töllner (abgegeben: 01. Sep 2019)
Explore the possibilities of using multiverse on systems with loadable modules by extending its semantics and implementation.

bAUTOSAR: A Javascript Real-Time Abstraction for Improved Website Responsiveness

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Christian Dietrich, Daniel Lohmann
Bearbeiter: Robin Thrift (abgegeben: 15. Mar 2019)
An OSEK-like real-time abstraction for prioritized execution of Javascript programs.

Fault-Space Approximation using Basic-Block Fault Injection

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Oskar Pusz, Christian Dietrich, Daniel Lohmann
Bearbeiter: Daniel Kiechle (abgegeben: 15. Oct 2018)
[PDF]

Fault-Space Approximation using Call-Region Fault Injection

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Oskar Pusz, Daniel Lohmann
Bearbeiter: anonymous (abgegeben: 01. Nov 2018)

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)

How to trust the Snake: Extending the Chain of Trust to Interpreted Languages on Highly Embedded Systems

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Stefan Naumann, Daniel Lohmann
Project: CADOS
Bearbeiter: Lars Wrenger
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.

Accelerate Micropython: Developing Accelerators for Micropython on the RISC-V platform

Typ: Masterarbeit
Status: abgeschlossen
Supervisors: Stefan Naumann, Daniel Lohmann
Project: AHA
Benchmark Micropython, identify spots to accelerate and propose hardware accelerators for the Micropython interpreter.

Extending the Linux Kernel for Wait-Free Live Patching of Multi-Threaded Processes

Typ: Masterarbeit
Status: abgeschlossen
Supervisors: Florian Rommel, Christian Dietrich, Daniel Lohmann
Project: CADOS
Bearbeiter: Lennart Glauer (abgegeben: 20. Nov 2019)
Using virtual address space clones to avoid blocking on a global barrier in live patching situations and implement this mechanism in the Linux kernel.

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)

Multiverse: Compiler-Assisted Dynamic Variability Management in the Linux Kernel

Typ: Masterarbeit
Status: abgeschlossen
Supervisors: Christian Dietrich, Andreas Ziegler, Wolfgang Schröder-Preikschat, Daniel Lohmann
Project: CADOS
Bearbeiter: Florian Rommel (abgegeben: 02. Nov 2017)
Use the multiverse compiler plugin to optimize paths in the Linux kernel [PDF]

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)

ROS Timestamps for libusb in the Linux Kernel

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Björn Fiedler, Christian Dietrich, Daniel Lohmann
Project: AHA

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)

Avoidance of Redundant Recompilations by Propagation of Semantic Fingerprints

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Christian Dietrich, Daniel Lohmann
Project: cHash
Redundant-compile propagation in the make dependency graph

Integration of AST Hashing into the GCC compiler

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Christian Dietrich, Daniel Lohmann
Project: cHash
Implementation and Analysis of a GCC Plugin to calculate an hash value over the abstract syntax tree of a compilation unit.