Cyber-Physical Systems
Der Fokus des von Prof. Dr. Rolf Drechsler geleiteten Forschungsbereichs Cyber-Physical Systems liegt auf formalen Methoden, dem qualitätsorientierten Design von cyber-physikalischen Systemen und kognitiv adäquaten technischen Systemen. Die Forschung umfasst das gesamte Spektrum von der Grundlagenforschung bis hin zur anwendungsorientierten Entwicklung.
Unsere Projekte werden in enger Zusammenarbeit mit Partnern aus der Industrie durchgeführt. Zu unseren Methoden zählen Hardware- und Software-Verifikation, formale Modellierung und die Dokumentenverwaltung über den gesamten Entwicklungszyklus hinweg. Unsere Forschungsgebiete sind der Schaltkreis- und Systementwurf, die Softwareentwicklung sowie spezielle Anwendungen im Bereich der cyber-physikalischen Systeme. Bedeutende Anwendungsgebiete sind das Transportwesen, in dem qualitätsorientierter Entwurf in allen Entwicklungsphasen der Schlüssel zum Erfolg ist, und Ambient Assisted Living (AAL) mit dem Bremen Ambient Assisted Living Lab unter der Leitung von Prof. Dr. Bernd Krieg-Brückner.