@inproceedingssimulink2sdfWarsitz2016, Author = {Sebastian Warsitz and Maher Fakih}, Title = {Simulink-Modell-Übersetzung in synchrone Datenflussgraphen}, Year = {2016}, Month = {3}, Booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'2016)}, Organization = {Universität Rostock}, type = {inproceedings}, note = {Eingebettete Systeme werden heutzutage modellgetrieben mit Werkzeugen wie z.B. Simulink spezifiziert und simuliert. Die Simulation eines spezifizierten Systems garantiert allerdings nicht die korrekte Funktion des Systems, da laufzeitbedingt nicht alle}, Abstract = {Eingebettete Systeme werden heutzutage modellgetrieben mit Werkzeugen wie z.B. Simulink spezifiziert und simuliert. Die Simulation eines spezifizierten Systems garantiert allerdings nicht die korrekte Funktion des Systems, da laufzeitbedingt nicht alle möglichen Betriebszustände des Systems abgedeckt werden können. Auf der anderen Seite lassen sich synchrone Datenflussgraphen (SDFGs) aufgrund ihrer restriktiven Semantik formal analysieren. Eine Übersetzung von Simulink-Modellen in SDFGs erlaubt also formale Analysen an in Simulink spezifizierte eingebettete Systeme. Die vorliegende Arbeit stellt ein automatisiertes Übersetzungsverfahren vor, welcher für eine beschriebene Teilmenge von Simulink-Modellen eine strukturelle Übersetzung in SDFGs liefert. Zur ersten Evaluation des Übersetzungsverfahrens wurde für einfache Simulink-Modelle C-Code für die übersetzten SDFGs erzeugt und deren Ausführungsergebnisse mit den Simulationsergebnissen aus Simulink verglichen. Für die evaluierten Übersetzungsbeispiele wurde eine semantikerhaltende Übersetzung in SDFGs festgestellt. Außerdem wurde das Verfahren eingesetzt, um einen Multi-Phasen-Elektromotor-Steueralgorithmus, welcher in Simulink modelliert wurde, in einen semantikerhaltenden SDFG zu übersetzen was die Echtzeit-Analyse der resultierenden SDFG-Implementierung auf der TriCore Hardware-Plattform ermöglichte.} @COMMENTBibtex file generated on