Tutorial 2 - sna
Last modified by sna on 2023/07/19 11:50
T2A1: Important Thoughts
Der Unterschied zwischen Extended SCCharts und Core SCCharts besteht darin, dass Extended SCCharts mehr Möglichkeiten für bequemeres Programmieren bieten. Jedenfalls sind die syntaktischer Zucker und lassen sich allesamt in Core SCCharts überführen.
Durch die Normalisierung von Core SCCharts ist es möglich, ein Programm in einen Kontrollflussgraphen(SCG) zu überführen.
Ein Basisblock ist eine Anweisungssequenz, die ohne Unterbrechungen ausgeführt werden kann.
Die Schedule-Reihenfolge wird z.B. durch Beschreiben von Variablen, die zum Ausführen anderer Anweisungen benötigt werden, oder durch Überschreitung von Tickgrenzen beeinflußt.
T2A2: Tickets
Siehe JIRA.
T2A3: Modeling with SCCharts
T2A4: SCCharts Transformations
- In dem SCChart ist nur die Count-Delay-Transition ein extended Features. Um diese Transition zu ersetzen, wird der Zustand "stop" mit einer Entry- und einer During-Action ergänzt. Die During-Action wird dann durch zwei Regionen mit entsprechender Funktionalität innerhalb des States und eine Initialisierung ersetzt. Die Initialisierung wird dann durch eine Entry-Action ersetzt. Als nächstes werden die beiden Entry-Actions durch zwei Transistionen mit entsprechenden Effekten vor den Regionen und der dabei entstehende Connector-State durch einen normalen State ersetzt. Core SCChart:
- SCChart in normalized form:
- SCG:
T2A5: Code Generation