Cyber-Physical Systems

Computer systems need to be checked for correctness prior to market launch. However, because of time constraints and the complexity of today's computers, a full…

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…