Skip to Content

Wiki source code of PLDI'14 Artifact on SCCharts

Version 37.1 by cmot on 2014/07/06 22:52
Show last authors
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
5 = Modeling SCCharts with KIELER – PLDI'14 Artifact =
6
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
8
9 ~1. Download & Start KIELER,
10
11 2. Model an SCChart, and
12
13 3. Generate C Code.
14
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"]].
16
17 See a list of the evaluated examples at the end.
18
19
20
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"]]
22
23
24
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:
26
27 [[~[~[image:attach:RTEmagicC_demo.png.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/sccharts.swf||shape="rect"]]
28
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
31 = 1. Download & Start KIELER =
32
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.
34
35 [[~[~[image:attach:RTEmagicC_download.png.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]]
36
37 Download location: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~kieler/files/pldi14/>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]]
38
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
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
65 = 2. + 3. Model and Compile an SCChart =
66
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.
68
69
70
71 = 4. Evaluated Examples =
72
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
75 Find the list of Examples used for evaluation [[here>>doc:Examples]].