Preliminaries

SCCharts Insights

Read and understand the following information about SCCharts:

...

• PLDI Artifact submission: PLDI'14 Artifact on SCCharts

Tasks

T3A1: Important Thoughts

• Describe in own words what a basic block is.
• Which constraints do influence the ordering of a schedule?

T3A2: Sequentially Constructive Graphs

Draw the SCG corresponding to your SCChart of T2A4. Also include the dependency edges between the nodes. What can you say about the schedulability of the program?

T3A3: Hostcode

Use KIELER to model an SCCharts that calls the function tock() each second (use the input bool second as clock). 

...