|
|
|
|
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
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. i. R. Dr.-Ing. habil. 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. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Reinhard Tartler, Prof. Dr.-Ing. habil. Daniel Lohmann
-
Analyse des Betriebsmittelbedarfs von AspectC++ Programmen
- Betreuer: Prof. i. R. Dr.-Ing. habil. 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. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat
-
Aspekte im ECOS-Betriebssystem (ASPECT_ECOS)
- Betreuer: Prof. i. R. Dr.-Ing. habil. 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. i. R. Dr.-Ing. habil. 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. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann
-
Configurability-Aware Header Analysis in Linux / How to Detect Dead #ifdefs in Header Files
- Bearbeiter: Jonas Rabenstein (beendet am 09.04.2016 )
- Betreuer: Prof. Dr.-Ing. habil. Daniel Lohmann, Valentin Rothberg, M. Sc., Dr.-Ing. Andreas Ziegler
-
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. i. R. Dr.-Ing. habil. 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: nooverhead Linux kernel selfprotection
- 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. i. R. Dr.-Ing. habil. 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. i. R. Dr.-Ing. habil. 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. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann, Dr.-Ing. Andreas Ziegler, Prof. Dr.-Ing. Christian Dietrich
-
Eine skalierbare Speicher- und Objektverwaltung für eingebettete Betriebssysteme
- Betreuer: Prof. i. R. Dr.-Ing. habil. 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, Prof. 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. i. R. Dr.-Ing. habil. 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. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat
-
Hash-Based Change Impact Analysis with the Clang Compiler Framework (Clang-Hash)
- Betreuer: Prof. Dr.-Ing. Christian Dietrich, 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. i. R. Dr.-Ing. habil. 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. i. R. Dr.-Ing. habil. 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. i. R. Dr.-Ing. habil. 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. i. R. Dr.-Ing. habil. 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. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat
-
Multiverse: Compiler-Assisted Dynamic Variability Management in the Linux Kernel
- Bearbeiter: Florian Rommel (beendet am 02.11.2017 )
- Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann, Prof. Dr.-Ing. Christian Dietrich, Dr.-Ing. Andreas Ziegler
-
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: Prof. Dr.-Ing. Christian Dietrich, Valentin Rothberg, M. Sc., Prof. Dr.-Ing. habil. Daniel Lohmann
-
Priority-Obedient Multicore Interrupt Controller (OSEKV-IRQ)
- Betreuer: Prof. Dr.-Ing. Christian Dietrich, 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. i. R. Dr.-Ing. habil. 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: Prof. Dr.-Ing. Christian Dietrich, Prof. Dr.-Ing. habil. Daniel Lohmann
-
Separating Control and Data Stacks with Binary Patching (CallJump)
- Betreuer: Prof. Dr.-Ing. Christian Dietrich, 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. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat
-
Testen von Steuergerätesoftware in der Programmiersprache CAPL durch eine CAN-Restbussimulation
- Betreuer: Prof. i. R. Dr.-Ing. habil. 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. i. R. Dr.-Ing. habil. 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. i. R. Dr.-Ing. habil. 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, Dr.-Ing. Andreas Ziegler, 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
| |