Read and understand the following information about SCCharts:
Even so you must not understand every detail of the following two lectures you should read them to acquire additional information about the foundations of SCCharts. If you have questions about specific topics, don't hesitate to ask one of your supervisors.
Additional information about SCCharts within KIELER can be found here:
Install and run a copy of KIELER. You should download the nightly semantics build http://rtsys.informatik.uni-kiel.de/~kieler/files/nightly/kieler/
(If you have already installed and set up your own KIELER development environment, you're free to use your own set up but be sure to update your code content to an actual state.)
Create two tickets in the group's JIRA ticket system for two other course members of your choice. Be sure to select the semantics project and use Railway as component. Use your imagination for the actual ticket. Have fun! React to the tickets that you receive within 24h and close the ticket with a useful comment.
Submit your ticket before Fr, 25.04., 12:00!
(You do not need to solve the actual issue. Just comment on the presented topic and close the ticket.)
Model the following SCChart using the textual SCChart language (*.sct).
The SCChart describes a simple railway station controller. Initially the track is powered with 60 units to allow any train standing on this platform to begin its journey. (We assume the train stands beyond contact0 and will not trigger it in the beginning.) Subsequently, the platform of this station slows down any train entering the station (indicated by contact0
) and stops it when it passes contact1
. After 5 seconds it may proceed its journey.
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.
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.