Header

Shop : Details

Shop
Details
45,80 €
ISBN 978-3-8440-7039-2
Softcover
142 pages
62 figures
209 g
21 x 14,8 cm
German
Thesis
November 2019
Andreas Zeller
Absicherung von verteilten Automatisierungssystemen nach Änderungen der Steuerungssoftware
Modellkomposition zur Nutzung der funktionalen Verifikation
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.
Keywords: formale Verifikation; Absicherung; Model Checking; Automatisierungstechnik; verteilte Systeme; Softwaretest
IAS-Forschungsberichte
Edited by Prof. Dr.-Ing. Dr. h. c. Michael Weyrich, Stuttgart
Volume 2019,2
Available online documents for this title
You need Adobe Reader, to view these files. Here you will find a little help and information for downloading the PDF files.
Please note that the online documents cannot be printed or edited.
Please also see further information at: Help and Information.
 
 DocumentDocument 
 TypePDF 
 Costs34,35 € 
 ActionDownloadPurchase in obligation and download the file 
     
 
 DocumentTable of contents 
 TypePDF 
 Costsfree 
 ActionDownloadDownload the file 
     
User settings for registered online customers (online documents)
You can change your address details here and access documents you have already ordered.
User
Not logged in
Export of bibliographic data
Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
Germany
  +49 2421 99011 9
Mon. - Thurs. 8:00 a.m. to 4:00 p.m.
Fri. 8:00 a.m. to 3:00 p.m.
Contact us. We will be happy to help you.
Captcha
Social Media