Skip to Content
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
From version 25.1
edited by cmot
on 2014/02/11 11:30
Change comment: There is no comment for this version
To version 20.1
edited by Reinhard von Hanxleden
on 2014/02/11 06:34
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.cmot
1 +XWiki.rvh
Content
... ... @@ -10,27 +10,19 @@
10 10  
11 11  3. Generate C Code.
12 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.
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]].
14 14  
15 15  
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 -
19 += Download & Start KIELER =
20 20  
21 -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:
22 -
23 -[[~[~[image:attach:RTEmagicC_demo.png.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/sccharts.swf||shape="rect"]]
24 -
25 -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"]]
26 -
27 -= 1. Download & Start KIELER =
28 -
29 29  [[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.
30 30  
31 31  [[~[~[image:attach:RTEmagicC_download.png.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]]
32 32  
33 -Download location: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~kieler/files/pldi14/>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]]
25 +Download Location: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~kieler/files/pldi14/>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]]
34 34  
35 35  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).
36 36  
... ... @@ -58,7 +58,7 @@
58 58  
59 59  Now you can proceed in modeling an SCChart as explained below.
60 60  
61 -= 2. Model an SCChart =
53 += Model an SCChart =
62 62  
63 63  Right-click on a project and create a (text) File:
64 64  
... ... @@ -68,8 +68,6 @@
68 68  
69 69  [[image:attach:kieler09.png]]
70 70  
71 -SCT is a textual description language for SCCharts. Due to space limitations SCT is not documented in the PLDI paper, but examples can be found [[here>>doc:SCT - Textual Description Language for SCCharts]]. Also the code completion functionality of the textual editor for SCT is very helpful. It can be invoked by pressing <Ctrl> + <Space>. It will list all syntactically possible input according to the SCT/SCCharts meta model.
72 -
73 73  The textual SCCharts Xtext based editor (for *.sct files) will automatically be opened:
74 74  
75 75  [[image:attach:kieler10.png]]
... ... @@ -112,7 +112,7 @@
112 112  
113 113  You will now see how to generate a C tick function.
114 114  
115 -= 3. Generate C Code =
105 += Generate C Code =
116 116  
117 117  You can do several transformations on SCCharts (*.sct files). Just right click the file you want to transform in the project explorer and select the Transform SCChart sub menu. As abo is already a Core SCCart you do not need the core transformations. Click the All Normalize Transformations, this will do the Split Trigger and Effects and the Surface and Depth transformations together (in this order).
118 118  
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -8651747
1 +8651735
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651747/PLDI'14 Artifact on SCCharts
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651735/PLDI'14 Artifact on SCCharts