Intelligente cyber-physische Systeme, wie autonome Fahrzeuge, Smart Homes, vernetzte Produktion oder Assistenzroboter werden immer präsenter in unserem Alltag und Arbeitsleben. In der Zukunft werden Systeme und Roboter verstärkt Aufgaben übernehmen, die bisher von speziell ausgebildeten Menschen geleistet wurden und dies in direkter Interaktion mit Menschen. Daher ist es besonders wichtig einerseits die Sicherheit der Menschen zu garantieren und andererseits ihr Vertrauen in diese Systeme und ihre Bereitschaft zur Zusammenarbeit mit diesen zu stärken.

Eine wichtige Voraussetzung dafür ist, dass die mit den Systemen interagierenden Menschen verstehen, welches Verhalten sie in welcher Situation erwarten können.

In unserer Forschung widmen wir uns der Entwicklung von neuen Methoden zum Entwurf und zur Analyse von sicheren, intelligenten und selbst-erklärenden cyber-physischen Systemen. Hierbei stellen wir uns auch den inhärenten Herausforderungen von eingebetteten Hardware-Software Systemen, wie Nebenläufigkeit, Heterogenität und begrenzte Ressourcen.