Skip to Content
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
From version 9.1
edited by cmot
on 2014/02/10 20:37
Change comment: There is no comment for this version
To version 12.1
edited by cmot
on 2014/02/10 20:48
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -36,10 +36,63 @@
36 36  
37 37  [[image:attach:kieler03.png]]
38 38  
39 +In order to prepare modeling, we must create a project. Right-click in the Project Explorer to do so.
40 +
41 +[[image:attach:kieler04.png]]
42 +
43 +Select a General Project and click on next, then enter a project name, e.g. pldi14 and click on finish:
44 +
45 +[[image:attach:kieler05.png]][[image:attach:kieler06.png]]
46 +
47 +Now KIELER should look like this:
48 +
49 +[[image:attach:kieler07.png]]
50 +
51 +Now you can proceed in modeling an SCChart as explained below.
52 +
39 39  = Model an SCChart =
40 40  
41 -xxx
55 +Right-click on a project and create a (text) File:
42 42  
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 +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 +
43 43  = Generate C Code =
44 44  
45 45  xxx
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -8651715
1 +8651721
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651715/PLDI'14 Artifact on SCCharts
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651721/PLDI'14 Artifact on SCCharts