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

Summary

Details

Page properties
Content
... ... @@ -16,8 +16,14 @@
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 +
20 20  
21 +In addition to the step-by-step tutorial below we also captured a video that shows each of the explained steps:
22 +
23 +
24 +
25 += 1. Download & Start KIELER =
26 +
21 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"]]
... ... @@ -50,7 +50,7 @@
50 50  
51 51  Now you can proceed in modeling an SCChart as explained below.
52 52  
53 -= Model an SCChart =
59 += 2. Model an SCChart =
54 54  
55 55  Right-click on a project and create a (text) File:
56 56  
... ... @@ -60,7 +60,7 @@
60 60  
61 61  [[image:attach:kieler09.png]]
62 62  
63 -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. 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.
69 +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.
64 64  
65 65  The textual SCCharts Xtext based editor (for *.sct files) will automatically be opened:
66 66  
... ... @@ -104,7 +104,7 @@
104 104  
105 105  You will now see how to generate a C tick function.
106 106  
107 -= Generate C Code =
113 += 3. Generate C Code =
108 108  
109 109  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).
110 110  
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -8651742
1 +8651746
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651742/PLDI'14 Artifact on SCCharts
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651746/PLDI'14 Artifact on SCCharts