TY  - THES
A3  - Schäfer, Wilhelm
AB  - Mechatronische Systeme müssen heute immer komplexere Aufgaben in vielseitigen, teils sicherheitskritischen Situationen erfüllen. Um diese Komplexität zu beherrschen, basiert der Entwurf solcher Systeme meist auf Szenarien, in denen Ingenieure beschreiben, welche Folgen von Ereignissen in bestimmten Situationen passieren können, müssen oder nicht passieren dürfen. Durch Szenarien können Menschen komplexe Anforderungen erfassen. Allerdings können Widersprüche zwischen den Szenarien entstehen und die Spezifikation somit inkonsistent werden. Werden Inkonsistenzen nicht früh entdeckt, kann dies teure Iterationen in der Entwicklung erfordern oder zu Fehlern im System führen.In dieser Dissertation wurde eine Methode entwickelt, um Inkonsistenzen in szenariobasierten Spezifikationen mechatronischer Systeme zu finden. Modal Sequence Diagrams (MSDs) wurden erweitert, sodass nun auch Echtzeiteigenschaften und Umweltannahmen beschrieben werden können. Eine Technik wurde entwickelt, welche das Finden von Inkonsistenzen auf die Synthese von Gewinnstrategien in Zweispielerproblemen abbildet, sodass ein existierender, effizienter Algorithmus für die Konsistenzanalyse verwendet werden kann. Zudem wurde eine Technik für die Dekomposition des Syntheseproblems entwickelt.Um Inkonsistenzen in Spezifikationen von dynamischen Systemen zu finden, werden zudem Konzepte für die Verbesserung des play-out-Algorithmus präsentiert. Der existierende Algorithmus ermöglicht die Simulation von MSD Spezifikationen, bei der es jedoch zu vermeidbaren Verletzungen der Spezifikation kommen kann. Durch eine neuartige Kombination des play-out-Algorithmus mit erfolgreich für Teile der Spezifikation synthetisierten Strategien produziert dieser weniger vermeidbare Verletzungen. So hat der Ingenieur mehr Grund eine Inkonsistenz zu vermuten, wenn Verletzungen auftreten.
AU  - Greenyer, Joel
DA  - 2011
DP  - Universität Paderborn
LA  - eng
N1  - Tag der Verteidigung: 12.09.2011
N1  - Paderborn, Univ., Diss., 2011
PB  - Veröffentlichungen der Universität
PY  - 2011
SP  - XII, 299 S. : graph. Darst.
T2  - Institut für Informatik
TI  - Scenario-based design of mechatronic systems
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:466:2-7690
Y2  - 2025-03-14T16:18:34
ER  -