T2A1

1. Extended SCCharts are merely syntactic sugar to Core SCCharts. Each Extended SCChart is expressable in Core SCChart syntax. 
2. Compilation of code from a Core SCChart is much simpler than compiling an extended SCChart. Because of the semantically equality, it's much easier to perform a model-to-model transformation than to compile an extended SCChart.
3. A basic block is a set of instructions, that can be executed as one piece. Instructions with more than one incoming or outgoing sequential control-flow-edges or tick edges trigger a break between basic blocks.
4. The ordering of a schedule is influenced by data-dependencies such as write-read, abs.write-rel.write and by the sequential control-flow.

T2A2

Created:

Received:

T2A4

Extended features:

• Count Delay: Wait 5 seconds.
  Transformation: External counter. Reset in entry action. Count in during action. During action in parent state here because of empty complex state "stop".
  The entry action to reset the counter is missing in the automatic transformation. I added the entry action manually and removed the unnecessary initialization of the counter.
• During: Action during a state is active.
  Transformation: Parallel regions. First increments the counter until the other one finishes.
• Entry: Action on entering a state.
  Transformation: Additional init-state with immediate transition and the same label the entry action had.

Core SCChart:

Normalize:

• Trigger and Effect: Split Trigger and Effects in sequential (immediate) transitions.
• Surface Depth: States with outgoing non-immediate transitions must only have one outgoing transition.

SCG:

Write-write-conflicts may occur while accessing the track-variable. These are between the initialization of the track and lowering the speed or stopping the train when it enters the station again. Thus these conflict can be easily resolved by sequentialising the initialization and the rest of the controller.

Ruthermore there exists a cyclic dependency between the reset, increment and read of the counter-variable. Therefore the SCG is not ASC-schedulable. This can be fixed by sequentialising the counter. We know the counter has to wait 5 seconds. So the counter can be modeled in form of 5 sequential states. 

Generated SCG has no dependencies:

T2A5

T2A6