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 Können auf…

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 Systems…

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

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