ISBN 978-3-8439-3286-8

978-3-8439-3286-8, Reihe Informatik

Dirk Kuschnerus
Modellierung und Verifikation sicherheitskritischer konfigurierbarer Systeme in der Prozessmesstechnik

237 Seiten, Dissertation Ruhr-Universität Bochum (2017), Hardcover, A5

Zusammenfassung / Abstract

Diese Arbeit führt eine Methode zur modellgetriebenen Entwicklung und Verifikation von Systemen der Prozessautomatisierung ein. Systeme der Prozessautomatisierung unterscheiden sich von denen anderer Domänen primär durch ihre Klassifizierung als cyber-physische Systeme, die Anforderung der funktionalen Sicherheit und die Notwendigkeit der Online-Konfiguration generischer Systemkomponenten. Um diesen Eigenschaften und der in der Prozessmesstechnik gegebenen hohen Systemkomplexität zu begegnen, führt diese Arbeit eine domänenspezifische Modellierungssprache zur Entwicklung dieses Systemtyps und darauf basierend eine Methode zur Online-Verifikation der funktionalen Systemsicherheit unter Einbeziehung von Konfigurationsdaten ein.