Andreas ZellerAbsicherung von verteilten Automatisierungssystemen nach Änderungen der SteuerungssoftwareModellkomposition zur Nutzung der funktionalen Verifikation | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ISBN: | 978-3-8440-7039-2 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Series: | IAS-Forschungsberichte Herausgeber: Prof. Dr.-Ing. Dr. h. c. Michael Weyrich Stuttgart | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Volume: | 2019,2 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Keywords: | formale Verifikation; Absicherung; Model Checking; Automatisierungstechnik; verteilte Systeme; Softwaretest | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Type of publication: | Thesis | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Language: | German | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Pages: | 142 pages | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Figures: | 62 figures | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Weight: | 209 g | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Format: | 21 x 14,8 cm | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Binding: | Paperback | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Price: | 45,80 € / 57,30 SFr | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Published: | November 2019 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Buy: | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Download: | Available PDF-Files for this title: You need the Adobe Reader, to open the files. Here you get help and information, for the download. These files are not printable.
User settings for registered users You can change your address here or download your paid documents again.
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Recommendation: | You want to recommend this title? | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Review copy: | Here you can order a review copy. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Link: | You want to link this page? Click here. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Export citations: |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Abstract: | Wirtschaftliche und technologische Treiber führen dazu, dass sich Steuerungen von Automatisierungssystemen zunehmend zu komplexen Softwaresystemen wandeln. Dabei ermöglicht Software die Realisierung komplexer Steuerungsaufgaben und, aufgrund der leichten Änderbarkeit, ein wandlungsfähiges Steuerungssystem. Jede Änderung birgt aber auch das Risiko, dass dabei eingebrachte Fehler zu einem Fehlverhalten oder dem Ausfall eines Systems führen. Insbesondere bei sicherheitskritischen Anlagen ist das Testen nach Änderung der Steuerungssoftware daher unabdingbar. Eine besondere Herausforderung stellt dabei Testen von verteilten Software-Systemen dar, da oftmals komplexe Abhängigkeitsbeziehungen existieren. Da Funktionsänderungen an Steuerungssystemen zunehmend in der Betriebsphase notwendig werden, stellt dies hohe Anforderungen an Anlagenbetreiber, welche häufig weniger Erfahrung im Bereich Softwaretest besitzen. Zur Unterstützung von Anlagenbetreibern bei der Absicherung von softwarebasierten Änderungen an Steuerungssystemen wird in der vorliegenden Arbeit ein Konzept für einen strukturierten und automatisierten Absicherungsprozess vorgestellt. Es zielt darauf ab, durch eine automatisierte Auswirkungsanalyse und Generierung formaler Verhaltensmodelle, formale Verifikationsmethoden für Anlagenbetreiber nutzbar zu machen. |