Skip to Content
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
From version 21.1
edited by cmot
on 2014/02/11 11:00
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,6 +60,8 @@
60 60  
61 61  [[image:attach:kieler09.png]]
62 62  
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.
70 +
63 63  The textual SCCharts Xtext based editor (for *.sct files) will automatically be opened:
64 64  
65 65  [[image:attach:kieler10.png]]
... ... @@ -102,7 +102,7 @@
102 102  
103 103  You will now see how to generate a C tick function.
104 104  
105 -= Generate C Code =
113 += 3. Generate C Code =
106 106  
107 107  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).
108 108  
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -8651739
1 +8651746
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651739/PLDI'14 Artifact on SCCharts
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651746/PLDI'14 Artifact on SCCharts