Wiki source code of PLDI'14 Artifact on SCCharts
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
Show last authors
| author | version | line-number | content |
|---|---|---|---|
| 1 | [[~[~[image:attach:SCCharts (pre 1.0)@download.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/SCCharts#SCCharts-Downloads||shape="rect"]] [[~[~[image:attach:SCCharts (pre 1.0)@onlinecompiler.png~]~]>>url:http://www.sccharts.com||shape="rect"]] (% class="confluence-link" %)[[image:attach:KIELER.Command Line Compiler.WebHome@commandlinecompiler2.png]][[doc:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).Command Line Compiler.WebHome]](%%) [[image:attach:SCCharts (pre 1.0)@quickstart.png]][[doc:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).Quick Start Guide (pre 0\.13).WebHome]] | ||
| 2 | |||
| 3 | |||
| 4 | |||
| 5 | {{info}} | ||
| 6 | We have moved the guide that shows how to model and compile an SCChart within KIELER to a new [[doc:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).Quick Start Guide (pre 0\.13).WebHome]]. Be advised that in order to follow all explanations there may require the latest version of KIELER not the (possibly outdated) PLDI-Artifact. | ||
| 7 | {{/info}} | ||
| 8 | |||
| 9 | = Modeling SCCharts with KIELER – PLDI'14 Artifact = | ||
| 10 | |||
| 11 | 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 | ||
| 12 | |||
| 13 | ~1. Download & Start KIELER, | ||
| 14 | |||
| 15 | 2. Model an SCChart, and | ||
| 16 | |||
| 17 | 3. Generate C Code. | ||
| 18 | |||
| 19 | We will use a simple example here in order to illustrate the process. Please refer to the SCCharts superpage for the [[project status>>doc:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).WebHome]] and [[known limitations>>doc:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).WebHome]]. 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"]]. | ||
| 20 | |||
| 21 | See a list of the evaluated examples at the end. | ||
| 22 | |||
| 23 | |||
| 24 | |||
| 25 | [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"]] | ||
| 26 | |||
| 27 | |||
| 28 | |||
| 29 | 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: | ||
| 30 | |||
| 31 | [[~[~[image:attach:RTEmagicC_demo.png.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/sccharts.swf||shape="rect"]] | ||
| 32 | |||
| 33 | 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"]] | ||
| 34 | |||
| 35 | = 1. Download & Start KIELER = | ||
| 36 | |||
| 37 | [[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. | ||
| 38 | |||
| 39 | [[~[~[image:attach:RTEmagicC_download.png.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]] | ||
| 40 | |||
| 41 | Download location: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~kieler/files/pldi14/>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]] | ||
| 42 | |||
| 43 | 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). | ||
| 44 | |||
| 45 | [[image:attach:kieler1.png]] | ||
| 46 | |||
| 47 | If you selected a new workspace location, you will see a welcome screen like this: | ||
| 48 | |||
| 49 | [[image:attach:kieler02.png]] | ||
| 50 | |||
| 51 | Dismiss this "Welcome" tab. After that you'll be all set and KIELER should look like this: | ||
| 52 | |||
| 53 | [[image:attach:kieler03.png]] | ||
| 54 | |||
| 55 | In order to prepare modeling, we must create a project. Right-click in the Project Explorer to do so. | ||
| 56 | |||
| 57 | [[image:attach:kieler04.png]] | ||
| 58 | |||
| 59 | Select a General Project and click on next, then enter a project name, e.g. pldi14 and click on finish: | ||
| 60 | |||
| 61 | [[image:attach:kieler05.png]][[image:attach:kieler06.png]] | ||
| 62 | |||
| 63 | Now KIELER should look like this: | ||
| 64 | |||
| 65 | [[image:attach:kieler07.png]] | ||
| 66 | |||
| 67 | Now you can proceed in modeling an SCChart as explained below. | ||
| 68 | |||
| 69 | = 2. + 3. Model and Compile an SCChart = | ||
| 70 | |||
| 71 | We have moved the guide that shows how to model and compile an SCChart within KIELER to a new [[doc:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).Quick Start Guide (pre 0\.13).WebHome]]. Be advised that in order to follow all explanations there may require the latest version of KIELER not the (possibly outdated) PLDI-Artifact. | ||
| 72 | |||
| 73 | |||
| 74 | |||
| 75 | = 4. Evaluated Examples = | ||
| 76 | |||
| 77 | 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:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).WebHome]] and [[known limitations>>doc:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).WebHome]]. | ||
| 78 | |||
| 79 | Find the list of Examples used for evaluation [[here>>doc:KIELER.TO DELETE.Examples.WebHome]]. |