Integrierte Entwurfs- und Verifikationsmethode für verteilte eingebettete Steuerungssysteme am Beispiel eines Flugzeugkabinensystems
- Der vorgestellte Ansatz beschreibt eine Vorgehensweise zum Einsatz von wissenschaftlichen Methoden in einem industriellen Umfeld. Die Methodik nutzt modellbasierte Entwicklungsansätze und verbessert durch die Einführung von Informationsklassen und durch Definition von Modellstrukturen die Einsatzmöglichkeit von UML/SysML-Sprachelementen für die Erstellung von Systemspezifikationen. Eine Vorgehensweise zur Modelldekomposition bildet die Basis für das entwickelte "Specification-in-the-loop"-Konzept. Das Konzept dient zum einen der Generierung von Spezifikationsdokumenten und zum anderen dem Validierungs- und Verifikationseinsatz. Der definierte, integrierte Ansatz nutzt Expertenwissen für die Bereitstellung von Testfällen, die im Wesentlichen die Robustheit eines Systems nachweisen sollen. Basis für den Ansatz stellen Wis-sensmanagementmethoden dar, die Thematiken der Wissensverteilung in einem Unternehmen, als auch die Anwendbarkeit des Wissens auf einen spezifischen Fall, berücksichtigen.
Download full text files
Additional Services
| Author: | Tim LübbertGND |
|---|---|
| URN: | urn:nbn:de:hbz:294-27343 |
| Referee: | Gunter ReinigGND, Martin MönnigmannORCiDGND |
| Document Type: | Doctoral Thesis |
| Language: | German |
| Date of Publication (online): | 2010/01/22 |
| Date of first Publication: | 2010/01/22 |
| Publishing Institution: | Ruhr-Universität Bochum, Universitätsbibliothek |
| Granting Institution: | Ruhr-Universität Bochum, Fakultät für Maschinenbau |
| Date of final exam: | 2009/10/01 |
| Creating Corporation: | Fakultät für Maschinenbau |
| GND-Keyword: | Eingebettetes System; Validierung; Verifikation; Entwurf; Wissensmanagement |
| Institutes/Facilities: | Lehrstuhl für Regelungstechnik und Systemtheorie |
| Institut Product and Service Engineering | |
| Dewey Decimal Classification: | Technik, Medizin, angewandte Wissenschaften / Ingenieurwissenschaften, Maschinenbau |
| faculties: | Fakultät für Maschinenbau |
| Licence (German): |  Keine Creative Commons Lizenz - es gelten der Veröffentlichungsvertrag und das deutsche Urheberrecht |
