Research Topics

IT Security

More and more challenging tasks are supported or controlled by IT systems. This ongoing digitalisation is accompanied by an increased risk of cyber attacks, data theft and other manipulations. This places ever higher demands on the security, stability and reliability of systems. Like the secure modelling of suitable tools, verification and certified testing are of equal importance.

Skalierbare Sicherheitsarchitekturen für  die Geschäftsprozesse in deutschen Häfen

Moderne See- und Binnenhäfen werden zunehmend durch IT-Systeme gesteuert. Jeder der am Hafentransport beteiligten Akteure (wie z.B. Terminalbetreiber, Reeder, Spediteure, Betreiber von Hafen-IT, Bahn,...

To the research project
Design Automation Tool for Complex Electronic Systems

In order to design systems efficiently, the correct and safe functioning of the entire system has to be ensured as early as possible in the design phase. In addition it is necessary to consider both,...

To the research project

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence