Friedrich-Alexander-Universität UnivisSearchDeutsch FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Logo I4
Department of Computer Science 4
Research
Publications
   > Selected Papers
   > All Papers
Teaching
   > Lectures
   > Theses
Miscellaneous
Contact:
EMail dl@cs.fau.de

New Address:
Prof. Dr.-Ing.
  Daniel Lohmann
Leibniz Universität
  Hannover

Fachgebiet System-
  und Rechnerarchitektur

Appelstraße 4
D-30167 Hannover
 
Dept. of Computer Science  >  CS 4  >  People  >  Lohmann  >  Studien- und Diplomarbeiten

Studien- und Diplomarbeiten

Die folgenden von mir betreuten Studien- und Diplomarbeitsthemen sind zur Zeit im UnivIS eingetragen. Daneben gibt es jedoch oft auch weitere Themen, deren genauer Fokus stärker auf den Studienarbeiter / die Diplomarbeiterin zugeschnitten werden sollte und die deshalb noch nicht im UnivIS stehen. Im Zweifelsfall einfach mal vorbeikommen bzw. eine E-Mail schicken. Am besten beides :-)

Ich bin auch offen für eigene Ideen, so ein erkennbarer Zusammenhang mit meinen Forschungsgebieten besteht.

Offene Arbeiten

Entwicklung von Tools zur Entfernung von unbenutztem Code aus Binärdateien (CADOS_ELFTAILOR)
Betreuer: Andreas Ziegler, M. Sc., Prof. Dr.-Ing. habil. Daniel Lohmann


Instrumentierung von Binärcode zur Bestimmung (un)benutzter Funktionen (CADOS_USERTRACE)
Betreuer: Andreas Ziegler, M. Sc., Prof. Dr.-Ing. habil. Daniel Lohmann


System-level SSA From for OSEK-like Static Real-Time Systems (dOSEK-SSA)
Betreuer: Christian Dietrich, M. Sc., Prof. Dr.-Ing. habil. Daniel Lohmann

Laufende Arbeiten

Abgeschlossene Arbeiten

A Filesystem-Based Approach to Support Software Product Line Development with Editable Views (LEVIATHAN)
Bearbeiter: Frank Blendinger (beendet am 05.10.2010, Ausarbeitung...)
Betreuer: Dr.-Ing. Wanja Hofer, Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Christoph Elsner, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


A Robust and Portable Approach for extracting Build-System Variability
Bearbeiter: Christian Dietrich (beendet am 12.07.2012, Ausarbeitung...)
Betreuer: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Dr.-Ing. Reinhard Tartler, Prof. Dr.-Ing. habil. Daniel Lohmann


Analyse des Betriebsmittelbedarfs von AspectC++ Programmen
Betreuer: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. Olaf Spinczyk, Prof. Dr.-Ing. habil. Daniel Lohmann


Analyzing the Internal Consistency of the Linux KConfig Model (CADOS_KCONFIG_CONSISTENCY)
Bearbeiter: Stefan Hengelein (beendet am 07.07.2015, Ausarbeitung...)
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann


Aspect-Oriented Design and Implementation of an AUTOSAR-Like Operating System Kernel (CiAO_OSEK)
Bearbeiter: Wanja Hofer (beendet am 30.10.2007, Ausarbeitung...)
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Aspekte im ECOS-Betriebssystem (ASPECT_ECOS)
Betreuer: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. Olaf Spinczyk, Prof. Dr.-Ing. habil. Daniel Lohmann


Aspektorientierte Entwicklung konfigurierbarer Speicherschutzverfahren für die CiAO Betriebssystemfamilie (CiAO_mem)
Bearbeiter: Jochen Streicher (beendet am 29.09.2007 )
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann, Prof. Dr.-Ing. Olaf Spinczyk


Aspektorientierte Implementierung eines an AUTOSAR COM angelehnten Moduls für die CiAO-Betriebssystemfamilie (CIAO_COM)
Bearbeiter: Christian Meier (beendet am 11.09.2008, Ausarbeitung...)
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Wanja Hofer, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Automatic Tailoring of the Multi-Purpose Linux Operating System on Embedded Devices
Bearbeiter: Bernhard Heinloth (beendet am 10.09.2014, Ausarbeitung...)
Betreuer: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann


Configurability-Aware Header Analysis in Linux / How to Detect Dead #ifdefs in Header Files
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann, Valentin Rothberg, M. Sc., Andreas Ziegler, M. Sc.


Design and Implementation of a Soft-error Resilient OSEK Real-time Operating System (DanceOS_dOSEK)
Bearbeiter: Florian Lukas (beendet am 19.05.2014 )
Betreuer: Dr.-Ing. Martin Hoffmann, Prof. Dr.-Ing. habil. Daniel Lohmann, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Design and Implementation of an Operating System Service for Dependability Aspects (DanceOS_DepService)
Betreuer: Dr.-Ing. Martin Hoffmann, Prof. Dr.-Ing. habil. Daniel Lohmann


Dual kernel: no­overhead Linux kernel self­protection
Betreuer: Kurmus, Anil, Prof. Dr.-Ing. habil. Daniel Lohmann


Efficient Fault Tolerance for Operating System Data Structures (Dance_SafeCSW)
Bearbeiter: Robby Zippel (beendet am 17.11.2011, Ausarbeitung...)
Betreuer: Dr.-Ing. Martin Hoffmann, Dr.-Ing. Isabella Stilkerich, Prof. Dr.-Ing. habil. Daniel Lohmann, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Efficient Time-Triggered Execution in an Interrupt-Driven Real-Time Operating System (SLOTH_TT)
Bearbeiter: Danner Daniel (beendet am 2.7.2012, Ausarbeitung...)
Betreuer: Dr.-Ing. Wanja Hofer, Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Fabian Scheler, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Effiziente globale Änderungsanalysen in großen C-Projekten durch Syntaxbaum-Hashing im Clang Compiler
Bearbeiter: Ludwig Füracker (beendet am 02.10.2017 )
Betreuer: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann, Andreas Ziegler, M. Sc., Christian Dietrich, M. Sc.


Eine skalierbare Speicher- und Objektverwaltung für eingebettete Betriebssysteme
Betreuer: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. Olaf Spinczyk, Prof. Dr.-Ing. habil. Daniel Lohmann


Entwicklung einer konfigurierbaren eingebetteten Wetterstation mit Policy-Based Design und Feature-Oriented Programming (WM_PBDFOP)
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann


Entwurf und Implementierung einer MPU-basierten Task-Isolation für das OSEK-Echtzeitbetriebssystem Sloth (SLOTH_MPU)
Betreuer: Dr.-Ing. Wanja Hofer, Dipl.-Inf. Rainer Müller, Dipl.-Inf. Daniel Danner, Prof. Dr.-Ing. habil. Daniel Lohmann


Entwurf und Implementierung einer Systemabstraktionsschicht für das I4Copter-Framework (QC_OSAL)
Bearbeiter: Jens Schedel (beendet am 01.10.2010 )
Betreuer: Dr.-Ing. Michael Stilkerich, Dr.-Ing. Peter Ulbrich, Prof. Dr.-Ing. habil. Daniel Lohmann


Extraction of Variability Models From Existing Product Variants
Bearbeiter: Markus Götze (beendet am 30.10.2012 )
Betreuer: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Christoph Elsner


Global Optimization of Non-Functional Properties in OSEK Real-Time Systems by Static Cross-Kernel Flow Analyses (dOSEK_Opt)
Bearbeiter: Christian Dietrich (beendet am 01.09.2014, Ausarbeitung...)
Betreuer: Dr.-Ing. Martin Hoffmann, Prof. Dr.-Ing. habil. Daniel Lohmann


Hardwareunterstützte, zeittransparente Behandlung von Unterbrechungen in einem Echtzeitbetriebssystem auf dem TriCore TC1796 (CIAO_IRQ_PCP)
Bearbeiter: Rudi Pfister (beendet am 14.05.2008, Ausarbeitung...)
Betreuer: Dr.-Ing. Fabian Scheler, Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Wanja Hofer, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Hash-Based Change Impact Analysis with the Clang Compiler Framework (Clang-Hash)
Betreuer: Christian Dietrich, M. Sc., Valentin Rothberg, M. Sc., Prof. Dr.-Ing. habil. Daniel Lohmann


Implementation of an Interrupt-Driven OSEK Operating System Kernel on an ARM Cortex-M3 Microcontroller (SLOTH_CM3)
Bearbeiter: Rainer Müller (beendet am 27.10.2011, Ausarbeitung...)
Betreuer: Dr.-Ing. Wanja Hofer, Prof. Dr.-Ing. habil. Daniel Lohmann, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Implementierung und Evaluation einer selbstständigen Kommunikationsschnittstelle zwischen Intel-Xeon-Phi-Koprozessoren (XPHI_P2P)
Betreuer: Dipl.-Inf. Rainer Müller, Prof. Dr.-Ing. habil. Daniel Lohmann


Increasing Reliability in Embedded Real Time Operating Systems With a Modular, Transparent Fault Tolerance Framework
Betreuer: Dr.-Ing. Martin Hoffmann, Prof. Dr.-Ing. Rüdiger Kapitza, Prof. Dr.-Ing. habil. Daniel Lohmann, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Konfigurationsanalyse mit SAT Lösern (VAMOS-SAT)
Betreuer: Dr.-Ing. Reinhard Tartler, Prof. Dr.-Ing. habil. Daniel Lohmann


Konzeption und Entwicklung eines flexiblen Konfigurationsmanagements für die CiAO-Betriebssystemfamilie (CiAO_CONFIG)
Bearbeiter: Ralf Hackner (beendet am 30.08.2010 )
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Michael Stilkerich, Dr.-Ing. Julio Sincero


Laufzeitbudgetüberwachung in einer aspektorientierten Betriebssystemfamilie (CIAO_TIMING)
Bearbeiter: Frederic Pollmann (beendet am 15.12.2008, Ausarbeitung...)
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Wanja Hofer, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Lightweight Extraction of Variability Information from Linux Makefiles (CADOS_MINIGOLEM)
Bearbeiter: Ruprecht Andreas (beendet am 27.04.2015, Ausarbeitung...)
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann


Minimally-Invasive Control Flow Monitoring on Heterogeneous Multicore Systems (DanceOS-AppFlow)
Bearbeiter: Guilherme Bufolo (beendet am 02.05.2013 )
Betreuer: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Dr.-Ing. Martin Hoffmann, Prof. Dr.-Ing. habil. Daniel Lohmann


MPStuBS - Eine multiprozessorfähige Variante des OOStuBS-Lehrbetriebssystems (MPSTUBS)
Bearbeiter: Andreas Schweikart (beendet am 31.03.2008, Ausarbeitung...)
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Wanja Hofer, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Multiverse: Compiler-Assisted Dynamic Variability Management in the Linux Kernel
Bearbeiter: Florian Rommel (beendet am 02.11.2017 )
Betreuer: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann, Christian Dietrich, M. Sc., Andreas Ziegler, M. Sc.


OSEK Priority Level Sharing in the Interrupt-Driven Sloth RTOS (SLOTH_BCC2)
Betreuer: Dipl.-Inf. Rainer Müller, Dipl.-Inf. Daniel Danner, Dr.-Ing. Wanja Hofer, Prof. Dr.-Ing. habil. Daniel Lohmann


Performance Improvements of the Undertaker by Incremental SAT-Solving (CADOS_INCREMENTAL_SAT)
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann


Portierung und Modernisierung des Lehrbetriebssystems OOSTUBS (OOSTUBS_V2)
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Julio Sincero


Porting of OO/MPStuBS to the Rust Programming Language (StuBS-Rust)
Betreuer: Christian Dietrich, M. Sc., Valentin Rothberg, M. Sc., Prof. Dr.-Ing. habil. Daniel Lohmann


Priority-Obedient Multicore Interrupt Controller (OSEKV-IRQ)
Betreuer: Christian Dietrich, M. Sc., Prof. Dr.-Ing. habil. Daniel Lohmann


Produktlinienübergreifende Wiederverwendung in einem modellgetriebenen Software-Entwicklungsprozess
Bearbeiter: Christoph Elsner (beendet am 31.01.2008, Ausarbeitung...)
Betreuer: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann


Semi-Extended Tasks: Application-Specific Fine-Grained Task-Stack Sharing in OSEK Systems (dOSEK-SemiExtended)
Bearbeiter: Stefan Bader (beendet am 29.2.2016, Ausarbeitung...)
Betreuer: Christian Dietrich, M. Sc., Prof. Dr.-Ing. habil. Daniel Lohmann


Separating Control and Data Stacks with Binary Patching (CallJump)
Betreuer: Christian Dietrich, M. Sc., Prof. Dr.-Ing. habil. Daniel Lohmann


Slothful Linux: An Efficient Hybrid Real-Time System by Hardware-Based Task Dispatching (SLOTH_LINUX)
Bearbeiter: Müller Rainer (beendet am 02.07.2012, Ausarbeitung...)
Betreuer: Dr.-Ing. Wanja Hofer, Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Fabian Scheler, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Testen von Steuergerätesoftware in der Programmiersprache CAPL durch eine CAN-Restbussimulation
Betreuer: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann, Georg Drenkhahn


Unterbrechungsbehandlung in einer aspektorientierten Betriebssystemfamilie (CiAO_irq)
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann, Prof. Dr.-Ing. Olaf Spinczyk, Prof. Dr.-Ing. Wolfgang Schröder-Preikschat


Variabilität in ad hoc konfigurierten Software Projekten (VAMOS-COREUTILS)
Bearbeiter: Michael Fiedler (beendet am 28.9.2012 )
Betreuer: Dr.-Ing. Reinhard Tartler, Prof. Dr.-Ing. habil. Daniel Lohmann


Variabilitätsanalysen in Coreboot
Bearbeiter: Stefan Hengelein (beendet am 02.01.2013 )
Betreuer: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Dr.-Ing. Reinhard Tartler, Prof. Dr.-Ing. habil. Daniel Lohmann


Variabilitätsgewahre Analysen im FIASKO/L4-Mikrokernel (VAMOS-FIASKO)
Betreuer: Dr.-Ing. Reinhard Tartler, Prof. Dr.-Ing. habil. Daniel Lohmann


Verifikation von generiertem Quellcode anhand statischer Code-Analyse im AUTOSAR-Umfeld (EB_VQGEN)
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann, Boehm, Nico


Webbasierte Visualisierung von Konfigurierbarkeitsdefekten im Linux-Quellcode (CADOS_WEBGIT)
Bearbeiter: Patrick Plagwitz (beendet am 21.12.2015, Ausarbeitung...)
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann, Andreas Ziegler, M. Sc., Valentin Rothberg, M. Sc.


Years of Variability Bugs in Linux - How to Avoid Them
Bearbeiter: Valentin Rothberg (beendet am 01.08.2014, Ausarbeitung...)
Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann