Railway 2014
Page tree
Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 5 Next »

Preliminaries

SCCharts

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:

KIELER

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.)

 

Tasks

T2A1: Important Thoughts

  1. Write down the difference between Extended SCCharts and Core SCCharts. Use your own words.
  2. What advantage has the core SCCharts normalization?
  3. Describe in own words what a basic block is.
  4. Which constraints do influence the ordering of a schedule?

T2A2: Modeling with SCCharts

Model the following SCChart using the textual SCChart language (*.sct).

The SCChart describes a simple railway station controler. 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.

T2A3: SCCharts Transformations

  • Transform all extended features of the SCChart in T2A2 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.
  • 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.

T2A4: Code Generation

In order to generate executable code for the station controller, some potential problems need to be fixed. 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.

T2A5: Hostcode

Replace the contact and track variable assignments/read with appropriate hostcode 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.


  • No labels