Cyber-Physical Systems

Vom 20. bis 24. März 2017 kicken die NAO-Roboter des Teams B-Human auf der CeBIT in Hannover. Der amtierende Weltmeister im Roboterfußball zeigt sein …

Die zunehmende Komplexität eingebetteter Systeme geht, insbesondere in sicherheitskritischen Bereichen, mit einer steigenden Bedrohung durch …

Um den extrem gestiegenen Anforderungen an die Qualität und Sicherheit moderner Systeme gerecht zu werden, hat der Forschungsbereich Cyber-Physical …

Die Verwendung von Gehhilfeassistenten ist für viele Menschen eine Voraussetzung für ein aktives und unabhängiges Leben – doch ihre Nutzung birgt auch …

Vor der Markteinführung müssen neue Computersysteme auf ihre Korrektheit überprüft werden. Jedoch ist eine vollständige Verifikation aufgrund der …