Wiki source code of PLDI'14 Artifact on SCCharts
Version 37.1 by cmot on 2014/07/06 22:52
Hide last authors
| author | version | line-number | content |
|---|---|---|---|
 |
37.1 | 1 | {{info}} |
| 2 | We have moved the guide that shows how to model and compile an SCChart within KIELER to a new [[doc:Quick Start Guide]]. Be advised that in order to follow all explanations there may require the latest version of KIELER not the (possibly outdated) PLDI-Artifact. | ||
| 3 | {{/info}} | ||
| 4 | |||
| |
36.1 | 5 | = Modeling SCCharts with KIELER – PLDI'14 Artifact = |
| |
7.1 | 6 | |
| |
28.1 | 7 | 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>>url:http://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/papers/pldi14-submitted.pdf||shape="rect"]]. We will show you how to |
| |
7.1 | 8 | |
| |
9.1 | 9 | ~1. Download & Start KIELER, |
| |
7.1 | 10 | |
| 11 | 2. Model an SCChart, and | ||
| 12 | |||
| 13 | 3. Generate C Code. | ||
| 14 | |||
| |
30.1 | 15 | We will use a simple example here in order to illustrate the process. Please refer to the SCCharts superpage for the [[project status>>doc:SCCharts]] and [[known limitations>>doc:SCCharts]]. If you are interested in the source code you can find instruction how to download and compile it here: [[Getting Started>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/Getting+Started||shape="rect"]]. |
| |
7.1 | 16 | |
| |
33.1 | 17 | See a list of the evaluated examples at the end. |
| 18 | |||
| |
8.1 | 19 | |
| 20 | |||
| |
28.1 | 21 | [1] PLDI submission: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~biblio/downloads/papers/pldi14-submitted.pdf>>url:http://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/papers/pldi14-submitted.pdf||shape="rect"]] |
| |
8.1 | 22 | |
| |
24.1 | 23 | |
| |
7.1 | 24 | |
| |
25.1 | 25 | In addition to the step-by-step tutorial below we also captured a [[video >>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/sccharts.swf||shape="rect"]]that shows each of the explained steps: |
| |
24.1 | 26 | |
| |
25.1 | 27 | [[~[~[image:attach:RTEmagicC_demo.png.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/sccharts.swf||shape="rect"]] |
| |
24.1 | 28 | |
| |
25.1 | 29 | Download location: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~kieler/files/pldi14/sccharts.swf>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/sccharts.swf||shape="rect"]] |
| 30 | |||
| |
24.1 | 31 | = 1. Download & Start KIELER = |
| 32 | |||
| |
9.1 | 33 | [[Download>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]] 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 executable. |
| |
7.1 | 34 | |
| |
8.1 | 35 | [[~[~[image:attach:RTEmagicC_download.png.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]] |
| 36 | |||
| |
25.1 | 37 | Download location: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~kieler/files/pldi14/>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]] |
| |
8.1 | 38 | |
| |
9.1 | 39 | 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). |
| 40 | |||
| 41 | [[image:attach:kieler1.png]] | ||
| 42 | |||
| 43 | If you selected a new workspace location, you will see a welcome screen like this: | ||
| 44 | |||
| 45 | [[image:attach:kieler02.png]] | ||
| 46 | |||
| 47 | Dismiss this "Welcome" tab. After that you'll be all set and KIELER should look like this: | ||
| 48 | |||
| 49 | [[image:attach:kieler03.png]] | ||
| 50 | |||
| |
10.1 | 51 | In order to prepare modeling, we must create a project. Right-click in the Project Explorer to do so. |
| 52 | |||
| 53 | [[image:attach:kieler04.png]] | ||
| 54 | |||
| 55 | Select a General Project and click on next, then enter a project name, e.g. pldi14 and click on finish: | ||
| 56 | |||
| 57 | [[image:attach:kieler05.png]][[image:attach:kieler06.png]] | ||
| 58 | |||
| 59 | Now KIELER should look like this: | ||
| 60 | |||
| 61 | [[image:attach:kieler07.png]] | ||
| 62 | |||
| 63 | Now you can proceed in modeling an SCChart as explained below. | ||
| 64 | |||
| |
35.1 | 65 | = 2. + 3. Model and Compile an SCChart = |
| |
7.1 | 66 | |
| |
36.1 | 67 | We have moved the guide that shows how to model and compile an SCChart within KIELER to a new [[doc:Quick Start Guide]]. Be advised that in order to follow all explanations there may require the latest version of KIELER not the (possibly outdated) PLDI-Artifact. |
| |
7.1 | 68 | |
| |
18.1 | 69 | |
| |
16.1 | 70 | |
| |
31.1 | 71 | = 4. Evaluated Examples = |
| |
16.1 | 72 | |
| |
31.1 | 73 | In the following, you find the examples used for evaluation. Be advised that there currently is no tool integrated evaluation possible. Please refer to the SCCharts superpage for the [[project status>>doc:SCCharts]] and [[known limitations>>doc:SCCharts]]. |
| 74 | |||
| |
34.1 | 75 | Find the list of Examples used for evaluation [[here>>doc:Examples]]. |