Skip to Content
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
From version 35.1
edited by cmot
on 2014/06/28 11:53
Change comment: There is no comment for this version
To version 4.1
edited by cmot
on 2014/02/10 17:53
Change comment: There is no comment for this version

Summary

Details

Page properties
Title
... ... @@ -1,1 +1,1 @@
1 -PLDI'14 Artifact on SCCharts
1 +SCCharts - Demo
Content
... ... @@ -1,73 +1,0 @@
1 -[[image:attach:title7.png]]
2 -
3 -= Modeling SCCharts with KIELER =
4 -
5 -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
6 -
7 -~1. Download & Start KIELER,
8 -
9 -2. Model an SCChart, and
10 -
11 -3. Generate C Code.
12 -
13 -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"]].
14 -
15 -See a list of the evaluated examples at the end.
16 -
17 -
18 -
19 -[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"]]
20 -
21 -
22 -
23 -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 -
25 -[[~[~[image:attach:RTEmagicC_demo.png.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/sccharts.swf||shape="rect"]]
26 -
27 -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"]]
28 -
29 -= 1. Download & Start KIELER =
30 -
31 -[[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.
32 -
33 -[[~[~[image:attach:RTEmagicC_download.png.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]]
34 -
35 -Download location: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~kieler/files/pldi14/>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]]
36 -
37 -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).
38 -
39 -[[image:attach:kieler1.png]]
40 -
41 -If you selected a new workspace location, you will see a welcome screen like this:
42 -
43 -[[image:attach:kieler02.png]]
44 -
45 -Dismiss this "Welcome" tab. After that you'll be all set and KIELER should look like this:
46 -
47 -[[image:attach:kieler03.png]]
48 -
49 -In order to prepare modeling, we must create a project. Right-click in the Project Explorer to do so.
50 -
51 -[[image:attach:kieler04.png]]
52 -
53 -Select a General Project and click on next, then enter a project name, e.g. pldi14 and click on finish:
54 -
55 -[[image:attach:kieler05.png]][[image:attach:kieler06.png]]
56 -
57 -Now KIELER should look like this:
58 -
59 -[[image:attach:kieler07.png]]
60 -
61 -Now you can proceed in modeling an SCChart as explained below.
62 -
63 -= 2. + 3. Model and Compile an SCChart =
64 -
65 -We have moved the guide that shows how to model and compile an SCChart within KIELER to a new [[doc:Quick Start Tutorial]]. Be advised that in order to follow all explanations there may require the latest version of KIELER not the (possibly outdated) PLDI-Artifact.
66 -
67 -
68 -
69 -= 4. Evaluated Examples =
70 -
71 -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]].
72 -
73 -Find the list of Examples used for evaluation [[here>>doc:Examples]].
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9471413
1 +8651686
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471413/PLDI'14 Artifact on SCCharts
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651686/SCCharts - Demo