Thesis Topics
Our groups current research activities are focused on the following three directions:
- Real-Time Systems, including formal timing analyses, scheduling algorithm design, real-time operating systems, Worst-Case Execution Time, etc.
- Please contact Junjie Shi, Mario Günzel, Nils Hölscher, Georg von der Brueggen, and Ching-Chi Lin
- Embedded Systems, including system software development, design and optimization for emerging architectures, etc.
- Please contact Christian Hakert, Nils Hölscher, Vahidreza Moghaddas, Tristan Seidl, and Yun-Chih Chen
- Resource-constrained Data Analyses, including error tolerant neural networks, architecture-aware data analyses, etc.
- Please contact Daniel Kuhse, Zahra Valipour and Simon Kurz.
- Autonomous Robots, including autonomous navigation with cars, simulation, communication, control systems, etc.
- Please contact Harun Teper
If you are interested in writing your thesis in any of the above mentioned research directions please refer to the corresponding people directly for further topic discussions or see the list of available thesis topics below.
Please see the list of completed theses to get an impression of topics provided by our group.
In case you cannot find a suitable one but you are still interested in ES/CPS designs, please refer to the aforementioned LS12 staff.
Currently available thesis topics:
- Exploring the Trade-offs between Accu- racy and Reliability in In-Storage Vector Search
- Probabilistic Suspension Time (MA)
- Priority Point Exploration for EDF-Like Scheduling (MA)
- Dirichlet Rescale Algorithm (MA)
- Generating ISA microbenchmarks for modern RISC microarchitectures !Available Again!
- Energy Optimization for NVM Accesses
- LLVMTA: Adding AARCH64 (ARMv8,9) support to a static WCET analyser (MA)
Ongoing/Finished thesis topics:
- Exactness of EDF-Like Scheduling (BA)
- Chaotic Behavior of End-to-End Latencies (BA)
- Evaluation Framework for End-to-End Analysis (MA)
- Autonomous Racing Using Reinforcement Learning in ROS 2 (BA)
- Error Resilient Structure of Random Forest (MA)
- LLVMTA: Utilising linked binaries for analysed address space
- Framework for Delivering VR Contents Over Wireless Network (BA)
- Automatic Exploration of Static Environments using SLAM for Autonomous Robots
- Benchmark suit for evaluating wear levelling on specific memory regions (BA)
- Framework for Evaluating the Trust- worthiness of Anomaly Detection in Autonomous Vehicles (BA)
- Converting and Verifying Resource Sharing Protocols in Real-Time Operating Systems (BA/MA)
- Implementation and Evaluation of Stationary GANG Scheduling (BA/MA)
- Drone Deployment and Workload Offloading in Decentralized Drone Networks (MA)
- Precise Access Latency Measurement for Integrated FRAM Devices (BA/MA)
- A Realistic Energy Evalution Setup for Scheudling in Multicore Embedded Non-Volatile Memory Systems (BA/MA)
- Offloading Protocols for Multi-Mode Mixed-Criticality Systems (BA)
- Non-Volatile Memory Aware Task Scheduling on Low Power Hardware (BA)
- Verifying Resource Sharing Protocols in Real-Time Operating Systems (MA)
- Efficient Inference of Random Forests on Modern Memory Architectures (BA/MA)
- Supporting Multi-processor Resource Synchronization on Erika RTOS (BA)
- Exploration of K-means Clustering Algorithms on Low-dimensional Datasets (MA)
- Verification for the Concept Drift of Hyper-Parameter when Dataset Shift (BA/MA)
- Non-Volatile Unikernels: Library Support for Non-Volatile Memory in Library OSes (MA)