In der modellbasierten Softwareentwicklung für eingebettete Systeme werden verschiedene Werkzeuge und Sprachen aus heterogenen Modelldomänen verwendet. Eine Modelldomäne bezeichnet in dieser Arbeit eine Menge von Modelltypen, die das gleiche Meta-Modell besitzen oder sich in diesem nur geringfügig unterscheiden. Es werden also Werkzeuge mit verschiedenen Schwerpunkten verwendet, deren Modellen völlig unterschiedliche Meta-Modelle zugrunde liegen. Bei umfangreichen Systemen kann eine beliebige Anzahl von Modellen mit enthaltenen Teilaspekten und Subsystemen entstehen, die von mehreren Projektbeteiligten realisiert werden. Beim Erstellen der Modelle wird häufig vernachlässigt, Anforderungen an das Zeitverhalten zu berücksichtigen und Modellelemente mit von Anforderungen abgeleiteten Zeiteigenschaften zu versehen. Dabei gehören Anforderungen an das Zeitverhalten zu den wichtigsten, nicht-funktionalen Anforderungen und deren Verletzung kann kritische Folgen haben. Es ist daher empfehlenswert, Zeiteigenschaften wie Ausführungszeiten und Zeitschranken in frühen Entwicklungsphasen direkt bei Modellelementen zu spezifizieren. Mit Werkzeugen zur Analyse von Zeitverhalten kann dann eine Simulation bezüglich des Zeitverhaltens vorgenommen werden und dieses validiert werden. Um die Analyse vornehmen zu können, muss schließlich ein Überführen der Zeiteigenschaften aus verschiedenen Modelldomänen zum Analysewerkzeug durchgeführt werden. Das Gesamtsystem kann nur validiert werden, wenn sämtliche Zeiteigenschaften aus allen Teil-Modellen berücksichtigt und zusammengeführt werden. Dabei können in Modellen auch redundante Informationen vorliegen. Um diese konsistent zu halten und zu synchronisieren, muss es möglich sein, zwischen Zeiteigenschaften Abhängigkeiten zu erfassen und diese verfolgen zu können. Im Fokus dieser Arbeit ist daher ein Konzept zu erarbeiten, das ein Zusammenführen und Verfolgen von Zeiteigenschaften über heterogene Modelldomänen ermöglicht. Eine besondere Herausforderung ist, dass die Zeiteigenschaften in unterschiedlichen Modelldomänen auf gänzlich verschiedene Weise beschrieben werden. Im Lösungskonzept dieser Arbeit werden ein zusätzliches Zeit-Zwischenmodell, auf dessen Basis das Zusammenführen durchgeführt wird, und ein Kopplungsmodell zur Verfolgbarkeit erarbeitet. Zu berücksichtigen ist, dass Zeiteigenschaften in mehreren Modellen gleichzeitig vorliegen können, sodass die Herausforderung vorliegt, über heterogene Modelldomänen deren Konsistenz sicherzustellen.
Identifer | oai:union.ndltd.org:uni-osnabrueck.de/oai:repositorium.ub.uni-osnabrueck.de:urn:nbn:de:gbv:700-201904161494 |
Date | 16 April 2019 |
Creators | Noyer, Arne |
Contributors | Prof. Dr. Elke Pulvermüller, Prof. Dr. Gert Bikker, Prof. Dr. Andreas Rausch |
Source Sets | Universität Osnabrück |
Language | German |
Detected Language | German |
Type | doc-type:doctoralThesis |
Format | application/pdf, application/zip |
Rights | http://rightsstatements.org/vocab/InC/1.0/ |
Page generated in 0.0024 seconds