Cyber-Physical Systems

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

Gestern Abend, 5. Dezember 2018, bekamen Prof. Dr. Rolf Drechsler, Leiter des Forschungsbereichs Cyber-Physical Systems am Deutschen Forschungszentrum für…

Moderne See- und Binnenhäfen werden zunehmend durch IT-Systeme gesteuert. Der reibungslose Informationsaustausch zwischen den Hafenakteuren ist dabei von großer…

Arithmetische Schaltkreise wie Multiplizierer kommen heute in jedem Prozessor vor. Sind sie fehlerhaft, verursacht dies hohe Kosten. Wie sich die funktionale…

Elektronische Systeme werden immer komplexer und bestehen meist aus digitalen und analogen Komponenten. Der Aufwand für die Verifikation solcher Systeme ist…