Research Topics Team Henkler

On this page you will find current thesis topics (Project, Bachelor, Master, ...) of the HSHL research team Henkler. If you cannot find what you are looking for, please contact Prof. Dr. Stefan Henkler directly by e-mail. In general, we offer topics in the following research areas: Model-based development of embedded systems / cyber-physical systems (CPS), formal modeling/verification methods, real-time guarantees using scheduling / WCET, AI for CPS, optimization of CPS (at system level and hardware level e.g. considering AI accelerators, FPGAs, and others), and other related topics. We deal with application areas such as: Autonomous driving or autonomous systems in general, avionics, railway, smart farming, traffic optimization, IoT and related technical applications.