Skip to Content
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
From version 31.1
edited by cmot
on 2014/03/13 13:47
Change comment: There is no comment for this version
To version 33.1
edited by cmot
on 2014/03/13 13:54
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -12,6 +12,8 @@
12 12  
13 13  We will use a simple example here in order to illustrate the process. Please refer to the SCCharts superpage for the [[project status>>doc:SCCharts]] and [[known limitations>>doc:SCCharts]]. If you are interested in the source code you can find instruction how to download and compile it here: [[Getting Started>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/Getting+Started||shape="rect"]].
14 14  
15 +See a list of the evaluated examples at the end.
16 +
15 15  
16 16  
17 17  [1] PLDI submission: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~biblio/downloads/papers/pldi14-submitted.pdf>>url:http://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/papers/pldi14-submitted.pdf||shape="rect"]]
... ... @@ -180,16 +180,16 @@
180 180  )))
181 181  |(% colspan="1" %)(% colspan="1" %)
182 182  (((
183 -shifter3
185 += shifter3 =
184 184  )))|(% colspan="1" %)(% colspan="1" %)
185 185  (((
186 186  
187 187  )))|(% colspan="1" %)(% colspan="1" %)
188 188  (((
189 -
191 +[[image:attach:shifter3.png]]
190 190  )))|(% colspan="1" %)(% colspan="1" %)
191 191  (((
192 -{{code title="abo.sct"}}
194 +{{code title="shifter3.sct"}}
193 193  scchart shifter3 {
194 194   input signal int I = 1;
195 195   signal int S0;
... ... @@ -208,14 +208,14 @@
208 208  {{/code}}
209 209  )))
210 210  |(((
211 -reincarnation
213 += reincarnation =
212 212  )))|(((
213 213  
214 214  )))|(((
215 -
217 +[[image:attach:reincarnation.png]]
216 216  )))|(% colspan="1" %)(% colspan="1" %)
217 217  (((
218 -{{code title="abo.sct"}}
220 +{{code title="reincarnation.sct"}}
219 219  scchart reincarnation {
220 220   input signal A;
221 221   output signal gotS;
... ... @@ -238,14 +238,14 @@
238 238  {{/code}}
239 239  )))
240 240  |(((
241 -cabin
243 += cabin =
242 242  )))|(((
243 243  
244 244  )))|(((
245 -
247 +[[image:attach:cabin.png]]
246 246  )))|(% colspan="1" %)(% colspan="1" %)
247 247  (((
248 -{{code title="abo.sct"}}
250 +{{code title="cabin.sct"}}
249 249  scchart Cabin {
250 250   input signal Stop;
251 251   input signal CabinStopped;
... ... @@ -286,14 +286,14 @@
286 286  {{/code}}
287 287  )))
288 288  |(((
289 -reactor control
291 += reactor control =
290 290  )))|(((
291 291  
292 292  )))|(((
293 -
295 +[[image:attach:reactor-control.png]]
294 294  )))|(% colspan="1" %)(% colspan="1" %)
295 295  (((
296 -{{code title="abo.sct"}}
298 +{{code title="reactor-control.sct"}}
297 297  scchart Module_ReactorControl {
298 298   output signal PullOutRods;
299 299   output signal PushInRods;
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9470040
1 +9471348
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470040/PLDI'14 Artifact on SCCharts
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471348/PLDI'14 Artifact on SCCharts