T2A1: Important Thoughts

1. Write down the difference between Extended SCCharts and Core SCCharts. Use your own words.
   • In Extended SCCharts können erweiterte (doh!) Sprachkonstrukte verwendet werden, die prinnzipiell nur Syntaktischer Zucker sind. Sie bieten zusätzlichen Komfort bei der Implementierung des Systems.
2. What advantages has the Core SCCharts normalization?
   • Die normalisierten SCCharts bieten eine schmale Basis für die Entwicklung des weiteren Compilers. Somit können zusätzliche Features in den SCCharts implementiert werden, ohne den unterliegenden Compiler ändern zu müssen. Der entstehende SCG besteht nur aus sehr wenigen Konstrukten und kann anschliessend gut für den gewünschten Einsatzbereich genutzt werden.
3. Describe in own words what a basic block is.
   • Basisblöcke beschreiben eine Einheit von Knoten im SCG, die stets gemeinsam sequentiell in einem Tick ausgeführt werden. Verzweigungen und Tick-Grenzen bilden somit Grenzen von Basisblöcken.
4. Which constraints influence the ordering of a schedule?
   • Abhängigkeiten auf Variablen, d.h. wenn in parallelen Blöcken einerseits eine Variables gesetzt wird und andererseits auf den Wert geprüft wird, müssen berücksichtigt werden.
   • Joins müssen ihre parallelen Blöcke beenden bevor die Ausführung fortgesetzt werden kann.

T2A2: Tickets

Been there, done that!

T2A3: Modeling with SCCharts

T2A4: SCCharts Transformations

• Transform all extended features of the SCChart in T2A3 to core variants. Explain in detail what features are extended features and how the particular transformation worked. Upload an image of the SCChart in Core SCChart form.
  • "During + SyncCharts": Die "5 Second"-Transition wird durch eine separate Region mit Zähler (und Fehler) ersetzt. Die urssprüngliche Transition zählt nicht mehr selber, sondern testet nur noch auf den Wert der Zählervariable. Die Zählregion terminiert sobald die Hauptregion terminiert.
    
  • "Initialization": Variablen, denen im Rahmen ihrer Deklaration auch schon ein Wert zugewiesen wurde, werden in einer neuen "Entry" Aktion initialisiert.
  • "Entry": Die zuvor eingeführten Entry-Aktionen werden durch neue immediate Transitionen realisiert, die vor der eigentlichen Region ausgefügt werden.
  • 
     
• Normalize your new SCChart. Upload an image of the SCCharts in normalized form.
  • 
    
• Convert the SCChart into its SCG representation. (You may use any valid SCG transformation KIELER offers.) Inspect the SCG and write down and explain all potential problems. Upload an image of the SCG.
  • 
  • Im linken Bereich ist der Zähler umgesetzt (mit Fehler), der in jedem Tick auf das Signal second reagieren kann und dann die Variable inkrementiert.
  • Daneben ist prinzipiell der Initialzustand umgesetzt, in dem track = 60 gesetzt wird und anschliessend nichts mehr passiert.
  • Als nächstes ist der Test auf contact0 und dass reduzieren der Geschwindigkeit auf 20 zu sehen, dieser funktioniert ähnlich wie der Zähler.
  • Nachdem dies passiert ist, wird auf den Wert von contact1 wartet und der Zug angehalten.
  • Als letztes wird auf den Zähler gewartet und der Zug wieder beschleunigt.
  • Probleme:
    • Es treten Konflikte bei den Zuweisungen von track auf. Die erste Zuweisung track = 60 steht im SCG in Konflikt zu den anderen Zuweisungen. Unsere Annahme, dass im initialen Tick der Zug nicht die Kontakte auslöst ist hier nicht realisiert.

T2A5: Code Generation

In order to generate executable code for the station controller, some potential problems need to be fixed. Describe these problems. Create a corrected version of the simple station controller and compile it with KIELER. Upload the fixed controller, the new SCG and the resulting c code. Explain which changes were necessary.

SC-Chart:

SCG:

C-Code

Die Initialisierung war zuvor parallel, wird durch eine Transition in der Hauptregion ersetzt. Damit wird unser "Protokoll" erhalten.

T2A6: Hostcode

Replace the contact and track variable assignments/reads with appropriate host code calls. Compile the SCChart again. Inspect the C code. Write down what changes to the code must be done to use this code in the railway simulation from tutorial 1 and the ModelGUI.

Gemacht, geht aber alles kaputt.