Die Planung und Entwicklung von Fertigungsanlagen, Industrierobotern oder auch Ampelanlagen erfolgt heutzutage vorab virtuell am Computer. In der so genannten „digitalen Fabrik“ kann dadurch bereits ein neues Produkt virtuell in Betrieb genommen werden, ohne einen real existierenden extrem teuren Prototyp bauen zu müssen. Mit Hilfe von Tests analysieren und überprüfen Fachleute dabei auch dessen Sicherheitseigenschaften. Hier setzt ein neues Forschungsprojekt der Universität Bremen an, das vom Bundesministerium für Bildung und Forschung (BMBF) in den nächsten drei Jahren gefördert wird.
In ihrem Projekt SANITAS (Sichere Systeme auf Basis einer durchgängigen Verifikation entlang der gesamten Wertschöpfungskette) entwickelt die Arbeitsgruppe Rechnerarchitektur unter der Leitung von Informatikprofessor Rolf Drechsler neue Methoden, mit denen man eine bessere Testqualität erreicht, um die Sicherheitseigenschaften eines neuen Prototyps zu überprüfen. Dabei betrachten die Wissenschaftler insbesondere die Übergänge zwischen Hardware und Software. Ziel ist es, Tests automatisch zu erzeugen. Darüber hinaus werden Maßzahlen ermittelt, die Angaben bezüglich der Vollständigkeit erlauben. Dieser in diesem Zusammenhang neue Aspekt knüpft an Arbeiten an, die der Projektkoordinator Dr. Daniel Große im Rahmen seiner Doktorarbeit entwickelt hat. Zu den Projektpartnern aus der Industrie zählen unter anderem Bosch, Infineon und Siemens Industry.
Wetere Informationen:
Universität Bremen
Fachbereich Mathematik und Informatik (FB 03)
AG Rechnerarchitektur
Prof. Dr. Rolf Drechsler
Dr. Daniel Große
Tel. 0421-218 63932 oder 63935
drechslerprotect me ?!uni-bremenprotect me ?!.de , grosse@informatik.uni-bremen.de
drechsler@uni-bremen.de , grosseprotect me ?!informatik.uni-bremenprotect me ?!.de