Thesis Topics
Our groups current research activities are focused on the following four 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:
- ROS2-Based Framework for Real-Time PTZ Camera Control Using VR Headsets (BA)
- Construction of a Low-Cost Spectral Sensor (BA/MA)
- Chaotic Behavior of End-to-End Latencies (BA)
- Efficient Data Format Conversion for Low-Bitwidth Vector Processing
- Probabilistic Suspension Time (MA)
- Priority Point Exploration for EDF-Like Scheduling (MA)
- Dirichlet Rescale Algorithm (MA)
- Evaluating and Optimizing Mechanisms to prevent Timing Anomalies (BA/MA)
Ongoing/Finished thesis topics:
- Exactness of EDF-Like Scheduling (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)