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

Summary

Details

Page properties
Content
... ... @@ -4,7 +4,7 @@
4 4  
5 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/~~biblio/downloads/papers/pldi14.pdf||shape="rect"]]. We will show you how to
6 6  
7 -~1. Download & Start KIELER,
7 +~1. Download KIELER,
8 8  
9 9  2. Model an SCChart, and
10 10  
... ... @@ -16,83 +16,18 @@
16 16  
17 17  [1] PLDI submission: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~biblio/downloads/papers/pldi14.pdf>>url:http://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/papers/pldi14.pdf||shape="rect" class="moz-txt-link-freetext"]]
18 18  
19 -= Download & Start KIELER =
19 += Download KIELER =
20 20  
21 -[[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.
21 +[[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.
22 22  
23 23  [[~[~[image:attach:RTEmagicC_download.png.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]]
24 24  
25 25  Download Location: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~kieler/files/pldi14/>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]]
26 26  
27 -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).
28 -
29 -[[image:attach:kieler1.png]]
30 -
31 -If you selected a new workspace location, you will see a welcome screen like this:
32 -
33 -[[image:attach:kieler02.png]]
34 -
35 -Dismiss this "Welcome" tab. After that you'll be all set and KIELER should look like this:
36 -
37 -[[image:attach:kieler03.png]]
38 -
39 -In order to prepare modeling, we must create a project. Right-click in the Project Explorer to do so.
40 -
41 -[[image:attach:kieler04.png]]
42 -
43 -Select a General Project and click on next, then enter a project name, e.g. pldi14 and click on finish:
44 -
45 -[[image:attach:kieler05.png]][[image:attach:kieler06.png]]
46 -
47 -Now KIELER should look like this:
48 -
49 -[[image:attach:kieler07.png]]
50 -
51 -Now you can proceed in modeling an SCChart as explained below.
52 -
53 53  = Model an SCChart =
54 54  
55 -Right-click on a project and create a (text) File:
29 +xxx
56 56  
57 -[[image:attach:kieler08.png]]
58 -
59 -Name it abo.sct:
60 -
61 -[[image:attach:kieler09.png]]
62 -
63 -The textual SCCharts Xtext based editor (for *.sct files) will automatically be opened:
64 -
65 -[[image:attach:kieler10.png]]
66 -
67 -Now start modeling an SCChart. For example copy & paste the following sct code of abo, the hello world of SCCharts:
68 -
69 -{{code title="abo.sct"}}
70 -scchart ABO {
71 - input output bool A;
72 - input output bool B;
73 - output bool O1;
74 - output bool O2;
75 - region:
76 -
77 - initial state Init
78 - --> WaitAB immediate with / O1 = false; O2 = false;
79 - state WaitAB {
80 - region HandleA:
81 - initial state WaitA
82 - --> DoneA immediate with A / B = true; O1 = true;
83 - final state DoneA;
84 - region HandleB:
85 - initial state WaitB
86 - --> DoneB with B / O1 = true;
87 - final state DoneB;
88 - }
89 - >-> GotAB with / O1 = false; O2 = true;
90 - state GotAB;
91 -}
92 -{{/code}}
93 -
94 -
95 -
96 96  = Generate C Code =
97 97  
98 98  xxx
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -8651721
1 +8651713
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651721/PLDI'14 Artifact on SCCharts
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651713/PLDI'14 Artifact on SCCharts