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
-
... ... @@ -60,48 +60,6 @@ 60 60 61 61 [[image:attach:kieler09.png]] 62 62 63 -The textual SCCharts Xtext based editor (for *.sct files) will automatically be opened: 64 - 65 -[[image:attach:kieler10.png]] 66 - 67 -Now start modeling an SCChart. For example copy & paste the following sct code of abo, the hello world of SCCharts: 68 - 69 -{{code title="abo.sct"}} 70 -@VHLayout 71 -scchart ABO { 72 - input output bool A; 73 - input output bool B; 74 - output bool O1; 75 - output bool O2; 76 - region: 77 - 78 - initial state Init 79 - --> WaitAB immediate with / O1 = false; O2 = false; 80 - state WaitAB { 81 - region HandleA: 82 - initial state WaitA 83 - --> DoneA immediate with A / B = true; O1 = true; 84 - final state DoneA; 85 - region HandleB: 86 - initial state WaitB 87 - --> DoneB with B / O1 = true; 88 - final state DoneB; 89 - } 90 - >-> GotAB with / O1 = false; O2 = true; 91 - state GotAB; 92 -} 93 -{{/code}} 94 - 95 -As you save (Ctrl+S), KIELER will automatically draw the graphical SCChart diagram in a new KLigD view: 96 - 97 -[[image:attach:kieler11.png]] 98 - 99 -You may want to re-arrange views. Just drag the KLighD view to the right side: 100 - 101 -[[image:attach:kieler12.png]] 102 - 103 - 104 - 105 105 = Generate C Code = 106 106 107 107 xxx
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -86517 231 +8651719 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/86517 23/PLDI'14 Artifact on SCCharts1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651719/PLDI'14 Artifact on SCCharts