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

From version 10.1
edited by cmot
on 2014/02/10 20:43
Change comment: There is no comment for this version
To version 13.1
edited by cmot
on 2014/02/10 20:55
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -52,8 +52,56 @@
52 52  
53 53  = Model an SCChart =
54 54  
55 -xxx
55 +Right-click on a project and create a (text) File:
56 56  
57 +[[image:attach:kieler08.png]]
58 +
59 +Name it abo.sct:
60 +
61 +[[image:attach:kieler09.png]]
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 +
57 57  = Generate C Code =
58 58  
59 59  xxx
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -8651717
1 +8651723
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651717/PLDI'14 Artifact on SCCharts
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651723/PLDI'14 Artifact on SCCharts