Andreas Zeller

Absicherung von verteilten Automatisierungssystemen nach Änderungen der Steuerungssoftware

Modellkomposition zur Nutzung der funktionalen Verifikation


Front	Back

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

Bindung:

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.


	Document		Document
	Type		PDF
	Costs		11,45 EUR
	Action		Purchase in obligation and display of file - 42,4 MB (44474177 Byte)
	Action		Purchase in obligation and download of file - 42,4 MB (44474177 Byte)


	Document		Table of contents
	Type		PDF
	Costs		free
	Action		Diplay of file - 3,1 MB (3292481 Byte)
	Action		Download of file - 3,1 MB (3292481 Byte)

User settings for registered users

You can change your address here or download your paid documents again.

User:	Not logged in.
Actions:	Login / Register Forgotten your password?

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.

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.