Datenbestand vom 13. Juni 2019

Warenkorb Datenschutzhinweis Dissertationsdruck Dissertationsverlag Institutsreihen     Preisrechner

WICHTIGER HINWEIS
DER VERLAG IST IN DER ZEIT VOM 12.06.2019 BIS 23.06.2019 AUSCHLIESSLICH PER EMAIL ERREICHBAR.

aktualisiert am 13. Juni 2019

ISBN 9783843932868

Euro 72,00 inkl. 7% MwSt


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.