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.
Author: | Dirk Zander |
---|---|
URN: | urn:nbn:de:hbz:294-26286 |
Referee: | Gunter ReinigGND, Annerose Braune, Cemal EsenORCiDGND |
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 |