...

This tutorial should guide you if you like to model SCCharts with KIELER and use the circuit based software synthesis path as explained in our [1] PLDI'14 submission. We will show you how to

1. Download & Start KIELER,

2. Model an SCChart, and

...

[1] PLDI submission: http://rtsys.informatik.uni-kiel.de/~biblio/downloads/papers/pldi14.pdf

Download & Start KIELER

Download a suitable KIELER version for your operation system. The zip bundles are fully compiled and ready-to-run, they do not need any further installation process. Just save and extract them to/at the location of your choice and start the kieler KIELER executable.

Download Location: http://rtsys.informatik.uni-kiel.de/~kieler/files/pldi14/

When you start the KIELER executable, you probably need to set a (new) workspace location of your choice. (Click on the images to enlarge them).

Image Added

If you selected a new workspace location, you will see a welcome screen like this:

Image Added

Dismiss this "Welcome" tab. After that you'll be all set and KIELER should look like this:

Image Added

Model an SCChart

...