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
-
... ... @@ -100,20 +100,8 @@ 100 100 101 101 [[image:attach:kieler12.png]] 102 102 103 - Youwill now see how to generate a C tick function.103 + 104 104 105 105 = Generate C Code = 106 106 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 - 109 -[[image:attach:kieler13.png]] 110 - 111 -After performing a transformation the transformed SCChart will open (together with it's KLighD diagram visualization): 112 - 113 -[[image:attach:kieler14.png]] 114 - 115 -Now generate the Sequentially Constructive Graph (SCG) from the normalized form. You do this also in the context menu of the Project Explorer 116 - 117 - 118 - 119 - 107 +xxx
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -865172 71 +8651723 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/865172 7/PLDI'14 Artifact on SCCharts1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651723/PLDI'14 Artifact on SCCharts