Skip to Content

Changes for page Examples (sct)

Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
From version 12.1
edited by ssm
on 2015/06/23 16:55
Change comment: There is no comment for this version
To version 14.1
edited by Alexander Schulz-Rosengarten
on 2019/01/15 08:47
Change comment: There is no comment for this version

Summary

Details

Page properties
Title
... ... @@ -1,1 +1,1 @@
1 -Examples
1 +Examples (sct)
Parent
... ... @@ -1,0 +1,1 @@
1 +SCCharts (pre 1\.0)
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.ssm
1 +XWiki.als
Content
... ... @@ -1,13 +1,14 @@
1 -[[~[~[image:attach:SCCharts@download.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/SCCharts#SCCharts-Downloads||shape="rect"]] [[~[~[image:attach:SCCharts@onlinecompiler.png~]~]>>url:http://www.sccharts.com||shape="rect"]] (% class="confluence-link" %)[[image:attach:Command Line Compiler@commandlinecompiler2.png]][[doc:Command Line Compiler]](%%) [[image:attach:SCCharts@quickstart.png]][[doc:Quick Start Guide]]
1 +[[~[~[image:attach:SCCharts (pre 1.0)@download.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/SCCharts#SCCharts-Downloads||shape="rect"]] [[~[~[image:attach:SCCharts (pre 1.0)@onlinecompiler.png~]~]>>url:http://www.sccharts.com||shape="rect"]] (% class="confluence-link" %)[[image:attach:Command Line Compiler@commandlinecompiler2.png]][[doc:Command Line Compiler]](%%) [[image:attach:SCCharts (pre 1.0)@quickstart.png]][[doc:Quick Start Guide (pre 0\.13)]]
2 2  
3 3  = SCCharts Examples =
4 4  
5 5  A few SCCharts examples...
6 6  
7 +(% class="wrapped" %)
7 7  |=(((
8 8  Example
9 9  )))|=(((
10 -
11 +\\
11 11  )))|=(((
12 12  SCChart  (Graphical)
13 13  )))|=(% colspan="1" %)(% colspan="1" %)
... ... @@ -16,6 +16,49 @@
16 16  )))
17 17  |(% colspan="1" %)(% colspan="1" %)
18 18  (((
20 += ABO =
21 +)))|(% colspan="1" %)(% colspan="1" %)
22 +(((
23 +\\
24 +)))|(% colspan="1" %)(% colspan="1" %)
25 +(((
26 +(% class="content-wrapper" %)
27 +(((
28 +[[image:attach:abo.png]]
29 +)))
30 +)))|(% colspan="1" %)(% colspan="1" %)
31 +(((
32 +(% class="content-wrapper" %)
33 +(((
34 +{{code title="ABO.sct"}}
35 +@VHLayout
36 +scchart ABO {
37 + input output bool A;
38 + input output bool B;
39 + output bool O1;
40 + output bool O2;
41 + region:
42 +
43 + initial state Init
44 + --> WaitAB immediate with / O1 = false; O2 = false;
45 + state WaitAB {
46 + region HandleA:
47 + initial state WaitA
48 + --> DoneA immediate with A / B = true; O1 = true;
49 + final state DoneA;
50 + region HandleB:
51 + initial state WaitB
52 + --> DoneB with B / O1 = true;
53 + final state DoneB;
54 + }
55 + >-> GotAB with / O1 = false; O2 = true;
56 + state GotAB;
57 +}
58 +{{/code}}
59 +)))
60 +)))
61 +|(% colspan="1" %)(% colspan="1" %)
62 +(((
19 19  = clock =
20 20  
21 21  (Referenced SCCharts Example)
... ... @@ -25,17 +25,22 @@
25 25  **activate the Xtext nature for your project!**
26 26  )))|(% colspan="1" %)(% colspan="1" %)
27 27  (((
28 -
72 +\\
29 29  )))|(% colspan="1" %)(% colspan="1" %)
30 30  (((
75 +(% class="content-wrapper" %)
76 +(((
31 31  [[image:attach:delay.png]]
32 32  
33 33  [[image:attach:emitter.png]]
34 34  
35 35  [[image:attach:clock2h.png]]
82 +)))
36 36  )))|(% colspan="1" %)(% colspan="1" %)
37 37  (((
38 -{{code title="shifter3.sct" language="sct"}}
85 +(% class="content-wrapper" %)
86 +(((
87 +{{code language="sct" title="shifter3.sct"}}
39 39  scchart delay {
40 40   input int ticksToWait;
41 41   input bool clock;
... ... @@ -49,7 +49,7 @@
49 49  }
50 50  {{/code}}
51 51  
52 -{{code title="shifter3.sct" language="sct"}}
101 +{{code language="sct" title="shifter3.sct"}}
53 53  scchart emitter {
54 54   input bool clock;
55 55   input bool delay;
... ... @@ -68,7 +68,7 @@
68 68  }
69 69  {{/code}}
70 70  
71 -{{code title="shifter3.sct" language="sct"}}
120 +{{code language="sct" title="shifter3.sct"}}
72 72  scchart clock {
73 73   input bool msClock;
74 74   output bool second;
... ... @@ -103,15 +103,17 @@
103 103  }
104 104  {{/code}}
105 105  )))
155 +)))
106 106  
107 107  = SCCharts Evaluation Examples =
108 108  
109 -In the following, you find some examples used for evaluation. Be advised that there currently is no tool integrated evaluation possible. Please refer to the SCCharts superpage for the [[project status>>doc:SCCharts]] and [[known limitations>>doc:SCCharts]]. You may use our [[online compiler>>doc:Online Compiler]] or the [[command line compiler >>doc:Command Line Compiler]]to play around with the following SCCharts. On the right side you'll find the textual SCChart (SCT) description, on the left side you see the equivalent synthesized SCChart diagram for it. You can use our [[online SCChart synthesis>>doc:Command Line Rendering]] for rendering SCCharts diagrams from textual SCCharts descriptions.
159 +In the following, you find some examples used for evaluation. Be advised that there currently is no tool integrated evaluation possible. Please refer to the SCCharts superpage for the [[project status>>doc:SCCharts (pre 1\.0)]] and [[known limitations>>doc:SCCharts (pre 1\.0)]]. You may use our [[online compiler>>doc:Online Compiler]] or the [[command line compiler >>doc:Command Line Compiler]]to play around with the following SCCharts. On the right side you'll find the textual SCChart (SCT) description, on the left side you see the equivalent synthesized SCChart diagram for it. You can use our [[online SCChart synthesis>>doc:Command Line Rendering]] for rendering SCCharts diagrams from textual SCCharts descriptions.
110 110  
161 +(% class="wrapped" %)
111 111  |=(((
112 112  Example
113 113  )))|=(((
114 -
165 +\\
115 115  )))|=(((
116 116  SCChart  (Graphical)
117 117  )))|=(% colspan="1" %)(% colspan="1" %)
... ... @@ -123,13 +123,18 @@
123 123  = shifter3 =
124 124  )))|(% colspan="1" %)(% colspan="1" %)
125 125  (((
126 -
177 +\\
127 127  )))|(% colspan="1" %)(% colspan="1" %)
128 128  (((
180 +(% class="content-wrapper" %)
181 +(((
129 129  [[image:attach:PLDI'14 Artifact on SCCharts@shifter3.png]]
183 +)))
130 130  )))|(% colspan="1" %)(% colspan="1" %)
131 131  (((
132 -{{code title="shifter3.sct" language="sct"}}
186 +(% class="content-wrapper" %)
187 +(((
188 +{{code language="sct" title="shifter3.sct"}}
133 133  scchart shifter3 {
134 134   input signal int I = 1;
135 135   signal int S0;
... ... @@ -147,15 +147,21 @@
147 147  }
148 148  {{/code}}
149 149  )))
206 +)))
150 150  |(((
151 151  = reincarnation =
152 152  )))|(((
153 -
210 +\\
154 154  )))|(((
212 +(% class="content-wrapper" %)
213 +(((
155 155  [[image:attach:PLDI'14 Artifact on SCCharts@reincarnation.png]]
215 +)))
156 156  )))|(% colspan="1" %)(% colspan="1" %)
157 157  (((
158 -{{code title="reincarnation.sct" language="sct"}}
218 +(% class="content-wrapper" %)
219 +(((
220 +{{code language="sct" title="reincarnation.sct"}}
159 159  scchart reincarnation {
160 160   input signal A;
161 161   output signal gotS;
... ... @@ -177,15 +177,21 @@
177 177  }
178 178  {{/code}}
179 179  )))
242 +)))
180 180  |(((
181 181  = cabin =
182 182  )))|(((
183 -
246 +\\
184 184  )))|(((
248 +(% class="content-wrapper" %)
249 +(((
185 185  [[image:attach:PLDI'14 Artifact on SCCharts@cabin.png]]
251 +)))
186 186  )))|(% colspan="1" %)(% colspan="1" %)
187 187  (((
188 -{{code title="cabin.sct" language="sct"}}
254 +(% class="content-wrapper" %)
255 +(((
256 +{{code language="sct" title="cabin.sct"}}
189 189  scchart Cabin {
190 190   input signal Stop;
191 191   input signal CabinStopped;
... ... @@ -225,15 +225,21 @@
225 225  }
226 226  {{/code}}
227 227  )))
296 +)))
228 228  |(((
229 229  = reactor control =
230 230  )))|(((
231 -
300 +\\
232 232  )))|(((
302 +(% class="content-wrapper" %)
303 +(((
233 233  [[image:attach:PLDI'14 Artifact on SCCharts@reactor-control.png]]
305 +)))
234 234  )))|(% colspan="1" %)(% colspan="1" %)
235 235  (((
236 -{{code title="reactor-control.sct" language="sct"}}
308 +(% class="content-wrapper" %)
309 +(((
310 +{{code language="sct" title="reactor-control.sct"}}
237 237  scchart Module_ReactorControl {
238 238   output signal PullOutRods;
239 239   output signal PushInRods;
... ... @@ -281,3 +281,4 @@
281 281  }
282 282  {{/code}}
283 283  )))
358 +)))
abo.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +70.8 KB
Content
clock2h.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +51.3 KB
Content
delay.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +31.9 KB
Content
emitter.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +28.3 KB
Content
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -16810196
1 +9471341
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/16810196/Examples
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471341/Examples (sct)