Kuschnerus | Modellierung und Verifikation sicherheitskritischer konfigurierbarer Systeme in der Prozessmesstechnik | Buch | 978-3-8439-3286-8 | sack.de

Buch, Deutsch, 237 Seiten, Hardcover kaschiert, Format (B × H): 148 mm x 210 mm, Gewicht: 442 g

Reihe: Informatik

Kuschnerus

Modellierung und Verifikation sicherheitskritischer konfigurierbarer Systeme in der Prozessmesstechnik


Erscheinungsjahr 2017
ISBN: 978-3-8439-3286-8
Verlag: Dr. Hut

Buch, Deutsch, 237 Seiten, Hardcover kaschiert, Format (B × H): 148 mm x 210 mm, Gewicht: 442 g

Reihe: Informatik

ISBN: 978-3-8439-3286-8
Verlag: Dr. Hut

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.

Kuschnerus Modellierung und Verifikation sicherheitskritischer konfigurierbarer Systeme in der Prozessmesstechnik jetzt bestellen!

Autoren/Hrsg.

Kuschnerus, Dirk
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.