Skip to Content

Changes for page Examples (sct)

Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
From version 13.1
edited by ssm
on 2016/04/18 15:24
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 (pre 0\.13)]]
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" %)
... ... @@ -19,12 +19,17 @@
19 19  = ABO =
20 20  )))|(% colspan="1" %)(% colspan="1" %)
21 21  (((
22 -
23 +\\
23 23  )))|(% colspan="1" %)(% colspan="1" %)
24 24  (((
26 +(% class="content-wrapper" %)
27 +(((
25 25  [[image:attach:abo.png]]
29 +)))
26 26  )))|(% colspan="1" %)(% colspan="1" %)
27 27  (((
32 +(% class="content-wrapper" %)
33 +(((
28 28  {{code title="ABO.sct"}}
29 29  @VHLayout
30 30  scchart ABO {
... ... @@ -51,6 +51,7 @@
51 51  }
52 52  {{/code}}
53 53  )))
60 +)))
54 54  |(% colspan="1" %)(% colspan="1" %)
55 55  (((
56 56  = clock =
... ... @@ -62,16 +62,21 @@
62 62  **activate the Xtext nature for your project!**
63 63  )))|(% colspan="1" %)(% colspan="1" %)
64 64  (((
65 -
72 +\\
66 66  )))|(% colspan="1" %)(% colspan="1" %)
67 67  (((
75 +(% class="content-wrapper" %)
76 +(((
68 68  [[image:attach:delay.png]]
69 69  
70 70  [[image:attach:emitter.png]]
71 71  
72 72  [[image:attach:clock2h.png]]
82 +)))
73 73  )))|(% colspan="1" %)(% colspan="1" %)
74 74  (((
85 +(% class="content-wrapper" %)
86 +(((
75 75  {{code language="sct" title="shifter3.sct"}}
76 76  scchart delay {
77 77   input int ticksToWait;
... ... @@ -140,15 +140,17 @@
140 140  }
141 141  {{/code}}
142 142  )))
155 +)))
143 143  
144 144  = SCCharts Evaluation Examples =
145 145  
146 -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.
147 147  
161 +(% class="wrapped" %)
148 148  |=(((
149 149  Example
150 150  )))|=(((
151 -
165 +\\
152 152  )))|=(((
153 153  SCChart  (Graphical)
154 154  )))|=(% colspan="1" %)(% colspan="1" %)
... ... @@ -160,12 +160,17 @@
160 160  = shifter3 =
161 161  )))|(% colspan="1" %)(% colspan="1" %)
162 162  (((
163 -
177 +\\
164 164  )))|(% colspan="1" %)(% colspan="1" %)
165 165  (((
180 +(% class="content-wrapper" %)
181 +(((
166 166  [[image:attach:PLDI'14 Artifact on SCCharts@shifter3.png]]
183 +)))
167 167  )))|(% colspan="1" %)(% colspan="1" %)
168 168  (((
186 +(% class="content-wrapper" %)
187 +(((
169 169  {{code language="sct" title="shifter3.sct"}}
170 170  scchart shifter3 {
171 171   input signal int I = 1;
... ... @@ -184,14 +184,20 @@
184 184  }
185 185  {{/code}}
186 186  )))
206 +)))
187 187  |(((
188 188  = reincarnation =
189 189  )))|(((
190 -
210 +\\
191 191  )))|(((
212 +(% class="content-wrapper" %)
213 +(((
192 192  [[image:attach:PLDI'14 Artifact on SCCharts@reincarnation.png]]
215 +)))
193 193  )))|(% colspan="1" %)(% colspan="1" %)
194 194  (((
218 +(% class="content-wrapper" %)
219 +(((
195 195  {{code language="sct" title="reincarnation.sct"}}
196 196  scchart reincarnation {
197 197   input signal A;
... ... @@ -214,14 +214,20 @@
214 214  }
215 215  {{/code}}
216 216  )))
242 +)))
217 217  |(((
218 218  = cabin =
219 219  )))|(((
220 -
246 +\\
221 221  )))|(((
248 +(% class="content-wrapper" %)
249 +(((
222 222  [[image:attach:PLDI'14 Artifact on SCCharts@cabin.png]]
251 +)))
223 223  )))|(% colspan="1" %)(% colspan="1" %)
224 224  (((
254 +(% class="content-wrapper" %)
255 +(((
225 225  {{code language="sct" title="cabin.sct"}}
226 226  scchart Cabin {
227 227   input signal Stop;
... ... @@ -262,14 +262,20 @@
262 262  }
263 263  {{/code}}
264 264  )))
296 +)))
265 265  |(((
266 266  = reactor control =
267 267  )))|(((
268 -
300 +\\
269 269  )))|(((
302 +(% class="content-wrapper" %)
303 +(((
270 270  [[image:attach:PLDI'14 Artifact on SCCharts@reactor-control.png]]
305 +)))
271 271  )))|(% colspan="1" %)(% colspan="1" %)
272 272  (((
308 +(% class="content-wrapper" %)
309 +(((
273 273  {{code language="sct" title="reactor-control.sct"}}
274 274  scchart Module_ReactorControl {
275 275   output signal PullOutRods;
... ... @@ -318,3 +318,4 @@
318 318  }
319 319  {{/code}}
320 320  )))
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 -52723792
1 +9471341
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/52723792/Examples
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471341/Examples (sct)