Toolgestützte Verifikation verteilter technischer Steuerungssysteme auf der Basis von Aktivitätsdiagrammen

Mit der steigenden Komplexität moderner eingebetteter Systeme wachsen auch die Anforderungen an die Entwicklungsmethoden für diese Systeme. Das umfasst sowohl den Entwurf, als auch die Validations- und Verifikationsphase. Der Schwerpunkt dieser Arbeit liegt bei der Entwicklung einer hybriden Vorgehensweise mit dem Ziel eine Verbesserung zur systematischen und automatisierten Überprüfung der Korrektheit und Zuverlässigkeit von Steuerungen komplexer hybrider technischer Systeme im Sinne einer gegebenen Anforderungsspezifikation zu leisten. Im Rahmen dieser Arbeit wird eine automatisierte Black-Box-Testmethode für die Qualitätssicherungsphase der Produktverifikation hergeleitet, die das Zeitverhalten, aber auch logische Verknüpfungen im Steuerungscode berücksichtigt. Dazu werden Prinzipien bereits existierender und damit renommierter implementationsorientierter (White-Box) Methoden zur Verifikation verteilter eingebetteter Systeme verwendet.

Metadaten
Author:	Dirk Zander
URN:	urn:nbn:de:hbz:294-26286
Referee:	Gunter Reinig GND, Annerose Braune, Cemal Esen ORCiD GND
Document Type:	Doctoral Thesis
Language:	German
Date of Publication (online):	2009/09/23
Date of first Publication:	2009/09/23
Publishing Institution:	Ruhr-Universität Bochum, Universitätsbibliothek
Granting Institution:	Ruhr-Universität Bochum, Fakultät für Maschinenbau
Date of final exam:	2009/07/23
Creating Corporation:	Fakultät für Maschinenbau
GND-Keyword:	Eingebettetes System; Dynamischer Test; Testen; Produktentwicklung; Integrationstest
Institutes/Facilities:	Lehrstuhl für Regelungstechnik und Systemtheorie
Dewey Decimal Classification:	Technik, Medizin, angewandte Wissenschaften / Ingenieurwissenschaften, Maschinenbau
Licence (German):	Keine Creative Commons Lizenz - es gelten der Veröffentlichungsvertrag und das deutsche Urheberrecht

RUB » Bibliotheksportal