CVSM Bibliography, Entry [ StDG+2007Dag ]


Stürmer, I.; Dörr, H.; Giese, H.; Kelter, Udo; Schürr, Andy; Zündorf, Albert: Das MATE Projekt - Visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen; p.83-94 in: Proc. Workshop Modellbasierte Entwicklung Eingebetteter Systeme III (MBEES'07), Schloß Dagstuhl, Germany, Jan. 2007; 2007
Download: Volltext MBEES07
Download: Volltext MBEES07 auf citeseerx
Deskriptoren: CVSM, SiDiff, PI, model:difference

Abstract: Abstract: Die modellbasierte Entwicklung beginnt sich als Standardparadigma in der Steuergerätesoftwareentwicklung zu etablieren. Um die Wirksamkeit und Effizienz der modellbasierten Entwicklung zu erhöhen, sind Richtlinien für die Modellierung unerlässlich. Diese manuell zu überprüfen ist aufwändig und fehleranfällig. Das Projekt MATE (MATLAB Simulink/Stateflow Analysis and Transformation Environment) hat sich deshalb zum Ziel gesetzt, die bislang meist manuelle Prüfung der Einhaltung bzw. Verletzung von Modellierungsrichtlinien zu automatisieren, sowie vor allem Modelltransformationen zur Korrektur entdeckter Mängel und zur Unterstützung von Entwicklungsschritten und die Visualisierung der Unterschiede verschiedener Entwicklungsstände zu untersuchen.