Changes for page PLDI'14 Artifact on SCCharts
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -16,14 +16,8 @@ 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 that shows each of the explained steps: 22 - 23 - 24 - 25 -= 1. Download & Start KIELER = 26 - 27 27 [[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. 28 28 29 29 [[~[~[image:attach:RTEmagicC_download.png.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]] ... ... @@ -56,7 +56,7 @@ 56 56 57 57 Now you can proceed in modeling an SCChart as explained below. 58 58 59 -= 2.Model an SCChart =53 += Model an SCChart = 60 60 61 61 Right-click on a project and create a (text) File: 62 62 ... ... @@ -110,7 +110,7 @@ 110 110 111 111 You will now see how to generate a C tick function. 112 112 113 -= 3.Generate C Code =107 += Generate C Code = 114 114 115 115 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). 116 116
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -865174 61 +8651744 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/865174 6/PLDI'14 Artifact on SCCharts1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651744/PLDI'14 Artifact on SCCharts