Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17

From version 12.1
edited by cmot
on 2014/02/10 20:48
Change comment: There is no comment for this version
To version 11.1
edited by cmot
on 2014/02/10 20:45
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -60,39 +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 -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 -
96 96  = Generate C Code =
97 97  
98 98  xxx
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -8651721
1 +8651719
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651721/PLDI'14 Artifact on SCCharts
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651719/PLDI'14 Artifact on SCCharts