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,6 +60,39 @@ 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 +scchart ABO { 71 + input output bool A; 72 + input output bool B; 73 + output bool O1; 74 + output bool O2; 75 + region: 76 + 77 + initial state Init 78 + --> WaitAB immediate with / O1 = false; O2 = false; 79 + state WaitAB { 80 + region HandleA: 81 + initial state WaitA 82 + --> DoneA immediate with A / B = true; O1 = true; 83 + final state DoneA; 84 + region HandleB: 85 + initial state WaitB 86 + --> DoneB with B / O1 = true; 87 + final state DoneB; 88 + } 89 + >-> GotAB with / O1 = false; O2 = true; 90 + state GotAB; 91 +} 92 +{{/code}} 93 + 94 + 95 + 63 63 = Generate C Code = 64 64 65 65 xxx
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -865171 91 +8651721 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/865171 9/PLDI'14 Artifact on SCCharts1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651721/PLDI'14 Artifact on SCCharts