Aktuelles

Einladung zur mündlichen Prüfung im Rahmen des Promotionsverfahrens von Herrn Marc Lorenzo Schulz

[20.05.2019]

Hiermit laden wir Sie im Namen des Dekans der Fakultät für Mathematik und Informatik recht herzlich zur mündlichen Prüfung im Rahmen des Promotionsverfahrens von Herrn Marc Lorenzo Schulz ein. Die Prüfung wird

am Montag, den 03.06.2019, um 13:45 Uhr
im Raum B 103 im Gebäude 5 (PRG), 1. OG, Universitätsstraße 1/11, 58097 Hagen

stattfinden. Thema des Vortrags wird sein:

Verifikation einer Funktionsblockbibliothek für die Prozessautomatisierung

Zusammenfassung:

„Um einen hohen Automatisierungsgrad erreichen zu können, wird der Einsatz von Software in der Prozessautomatisierung immer wichtiger. Allerdings hat Software bis heute nicht das für sicherheitsgerichtete Automatisierungssysteme erforderliche Maß an Verlässlichkeit erlangt. Von den bisherigen Forschungsergebnissen ausgehend erscheint dieses Maß jedoch erreichbar, wenn zum Programmentwurf eine grafische Programmiersprache zusammen mit einer verifizierten Funktionsblockbibliothek genutzt wird.

Folgerichtig wird in dieser Arbeit eine 44 Funktionsblöcke umfassende, auf der Richtlinie VDI/VDE 3696 basierende Bibliothek mathematisch streng verifiziert und ihre Eignung zum Entwurf verlässlicher Automatisierungssoftware am Beispiel eines idealen PID-Reglers demonstriert. Dabei wird auch die leichte Verifizierbarkeit des erzeugten Maschinencodes durch diversitäre Rückübersetzung gezeigt.“

Die Promotion wird befürwortet von Prof. Dr. Dr. Wolfgang A. Halang.

mathinf.webteam | 20.05.2019