Modellierung und Verifikation sicherheitskritischer konfigurierbarer Systeme in der Prozessmesstechnik

Dirk Kuschnerus (Autor)

Buch | Hardcover

237 Seiten

2017
Dr. Hut (Verlag)
978-3-8439-3286-8 (ISBN)

Keine Verlagsinformationen verfügbar

Artikel merken

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.

Erscheinungsdatum	02.10.2017
Reihe/Serie	Informatik
Verlagsort	München
Sprache	deutsch
Maße	148 x 210 mm
Gewicht	442 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	cyber-physische Systeme • Methode zur Online-Verifikation • Prozessautomatisierung
ISBN-10	3-8439-3286-7 / 3843932867
ISBN-13	978-3-8439-3286-8 / 9783843932868
Zustand	Neuware