Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars

Más información sobre el libro

Bei der Entwicklung komplexer technischer Systeme kommen verschiedene Modellierungssprachen zum Einsatz. In der Automobilindustrie werden bereits früh im Entwicklungsprozess Systemmodelle genutzt, um Anforderungen und die grobe Struktur des Gesamtsystems darzustellen. Später folgen Softwaremodelle zur Modellierung der konkreten Softwarearchitektur. Jedes Modell behandelt spezifische Entwurfsaspekte mit geeigneten Notationen auf einem passenden Abstraktionsniveau. Der Übergang vom System- zum Softwareentwurf erfordert jedoch, dass Entwicklungsingenieure alle im Systemmodell getroffenen Entwurfsentscheidungen korrekt ins Softwaremodell übertragen. Bei Änderungen muss die Konsistenz zwischen den Modellen in einem aufwändigen manuellen Schritt wiederhergestellt werden. Dieser Bericht zeigt, wie Modellsynchronisation und Konsistenzregeln zur Automatisierung dieses Prozesses eingesetzt werden können. Zudem wird ein allgemeiner Ansatz zur Modellsynchronisation vorgestellt, der Tool-Adapter und Konsistenzregeln umfasst, die sowohl synchronisierbare Teile der Modelle als auch andere Aspekte abdecken. Der Modellsynchronisationsalgorithmus basiert auf Tripel-Graph-Grammatiken und wird detailliert erläutert. Anhand einer konkreten Transformation zwischen SysML- und AUTOSAR-Modellen, entwickelt im Rahmen eines Industrieprojekts, wird der Ansatz demonstriert. Im Anhang sind alle TGG-Regeln für die SysML-zu-AUTOSAR-Transformation dokumentier