TY  - THES
AB  - Sicherheitskritische mechatronische Systeme dürfen keine Fehler enthalten, da diese zu schweren Unfällen führen können. Gleichzeitig sind solche Systeme oft verteilt in Form mehrerer Subsysteme realisiert, die komplexe Anforderungen durch Kooperation erfüllen müssen. Eine manuelle Implementierung der hierzu erforderlichen Kommunikationssoftware ist aufgrund der hohen Komplexität fehleranfällig. Diese Dissertation beschreibt ein Verfahren zur verteilten Synthese, das aus formalen Anforderungen an das Kommunikationsverhalten eines verteilten Systems automatisch ein Implementierungsmodell ableitet, welches diese Anforderungen erfüllt. Zur Anwendung des Ansatzes müssen Entwickler die Anforderungen szenariobasiert beschreiben, also bezogen auf konkrete Situationen, und sie mittels Modal Sequence Diagrams formalisieren. Der Hauptvorteil gegenüber vergleichbaren Ansätzen ist, dass automatisch zusätzlich benötigte Nachrichten identifiziert und ergänzt werden, während das Hinzufügen unnötiger Nachrichten vermieden wird. Weiterhin untersucht diese Arbeit die Anwendung der verteilten Synthese speziell für die Domäne der mechatronischen Systeme. Sie beschreibt daher eine Erweiterung des Verfahrens um die Berücksichtigung von Echtzeit-Anforderungen und stellt Konzepte zur Integration des Ansatzes in die Entwurfsmethode MechatronicUML vor. Letztere ermöglicht eine Weiterentwicklung der synthetisierten Modelle zur fertigen Software.
AU  - Brenner, Christian
CY  - Paderborn
DA  - 2016
DP  - Universität Paderborn
LA  - ger
N1  - Tag der Verteidigung: 04.12.2015
N1  - Universität Paderborn, Fakultät für Elektrotechnik, Informatik und Mathematik, Univ., Dissertation, 2015
PB  - Veröffentlichungen der Universität
PY  - 2016
SP  - 1 Online-Ressource (xi, 216 Seiten)
T2  - Heinz Nixdorf Institut (HNI)
TI  - Szenariobasierte Synthese verteilter mechatronischer Systeme
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:466:2-17734
Y2  - 2024-09-25T15:25:22
ER  -