Forschungsgebiete
Formale Spezifikationstechnologien
Formale Spezifikationstechnologien umfassen alle Aspekte der Formalisierung, von der semantischen Modellierung durch formale Ontologien über formales Dokumentenmanagement bis hin zur durchgängig formalen Softwareentwicklung. Besonderere Schwerpunkte sind Änderungsmanagement, und alle Aspekte der Wiederverwendung.
Sichere Systeme
Der Schwerpunkt liegt auf dem Einsatz formaler mathematischer Methoden und Werkzeuge zur Erhöhung der Sicherheit und Zuverlässigkeit bei der Entwicklung komplexer technischer Systeme. Ein spezielles Anwendungsbeispiel ist die Entwicklung von Servicerobotern als sicherheitskritische eingebettete Systeme. Sicherheit für Leib und Leben ist eine Grundvoraussetzung für die Zulassung z.B. durch den TÜV.
Projekte aus diesem Themenkreis.
Kognitive Assistenzsysteme
Hier liegt der Schwerpunkt auf der Erhöhung der Sicherheit der Interaktion mit dem menschlichen Benutzer. Dies wird durch formale Modellierung des automatisierten technischen Systems einerseits und des Benutzers andererseits, sowie deren Interaktion, erreicht.