Skip to Content

Changes for page Examples (sct)

Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
From version 9.1
edited by cmot
on 2014/06/28 13:48
Change comment: There is no comment for this version
To version 11.1
edited by Alexander Schulz-Rosengarten
on 2014/08/13 11:21
Change comment: Activated SCCharts code highlighting

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.cmot
1 +XWiki.als
Content
... ... @@ -1,3 +1,5 @@
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]]
2 +
1 1  = SCCharts Examples =
2 2  
3 3  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.
... ... @@ -23,7 +23,7 @@
23 23  [[image:attach:PLDI'14 Artifact on SCCharts@shifter3.png]]
24 24  )))|(% colspan="1" %)(% colspan="1" %)
25 25  (((
26 -{{code title="shifter3.sct"}}
28 +{{code title="shifter3.sct" language="sct"}}
27 27  scchart shifter3 {
28 28   input signal int I = 1;
29 29   signal int S0;
... ... @@ -49,7 +49,7 @@
49 49  [[image:attach:PLDI'14 Artifact on SCCharts@reincarnation.png]]
50 50  )))|(% colspan="1" %)(% colspan="1" %)
51 51  (((
52 -{{code title="reincarnation.sct"}}
54 +{{code title="reincarnation.sct" language="sct"}}
53 53  scchart reincarnation {
54 54   input signal A;
55 55   output signal gotS;
... ... @@ -79,7 +79,7 @@
79 79  [[image:attach:PLDI'14 Artifact on SCCharts@cabin.png]]
80 80  )))|(% colspan="1" %)(% colspan="1" %)
81 81  (((
82 -{{code title="cabin.sct"}}
84 +{{code title="cabin.sct" language="sct"}}
83 83  scchart Cabin {
84 84   input signal Stop;
85 85   input signal CabinStopped;
... ... @@ -127,7 +127,7 @@
127 127  [[image:attach:PLDI'14 Artifact on SCCharts@reactor-control.png]]
128 128  )))|(% colspan="1" %)(% colspan="1" %)
129 129  (((
130 -{{code title="reactor-control.sct"}}
132 +{{code title="reactor-control.sct" language="sct"}}
131 131  scchart Module_ReactorControl {
132 132   output signal PullOutRods;
133 133   output signal PushInRods;
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9471500
1 +12288417
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471500/Examples
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/12288417/Examples