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 …

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

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

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

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