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

Summary

Details

Page properties
Content
... ... @@ -12,8 +12,6 @@
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 -
17 17  
18 18  
19 19  [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"]]
... ... @@ -182,16 +182,16 @@
182 182  )))
183 183  |(% colspan="1" %)(% colspan="1" %)
184 184  (((
185 -= shifter3 =
183 +shifter3
186 186  )))|(% colspan="1" %)(% colspan="1" %)
187 187  (((
188 188  
189 189  )))|(% colspan="1" %)(% colspan="1" %)
190 190  (((
191 -[[image:attach:shifter3.png]]
189 +
192 192  )))|(% colspan="1" %)(% colspan="1" %)
193 193  (((
194 -{{code title="shifter3.sct"}}
192 +{{code title="abo.sct"}}
195 195  scchart shifter3 {
196 196   input signal int I = 1;
197 197   signal int S0;
... ... @@ -210,14 +210,14 @@
210 210  {{/code}}
211 211  )))
212 212  |(((
213 -= reincarnation =
211 +reincarnation
214 214  )))|(((
215 215  
216 216  )))|(((
217 -[[image:attach:reincarnation.png]]
215 +
218 218  )))|(% colspan="1" %)(% colspan="1" %)
219 219  (((
220 -{{code title="reincarnation.sct"}}
218 +{{code title="abo.sct"}}
221 221  scchart reincarnation {
222 222   input signal A;
223 223   output signal gotS;
... ... @@ -240,14 +240,14 @@
240 240  {{/code}}
241 241  )))
242 242  |(((
243 -= cabin =
241 +cabin
244 244  )))|(((
245 245  
246 246  )))|(((
247 -[[image:attach:cabin.png]]
245 +
248 248  )))|(% colspan="1" %)(% colspan="1" %)
249 249  (((
250 -{{code title="cabin.sct"}}
248 +{{code title="abo.sct"}}
251 251  scchart Cabin {
252 252   input signal Stop;
253 253   input signal CabinStopped;
... ... @@ -288,14 +288,14 @@
288 288  {{/code}}
289 289  )))
290 290  |(((
291 -= reactor control =
289 +reactor control
292 292  )))|(((
293 293  
294 294  )))|(((
295 -[[image:attach:reactor-control.png]]
293 +
296 296  )))|(% colspan="1" %)(% colspan="1" %)
297 297  (((
298 -{{code title="reactor-control.sct"}}
296 +{{code title="abo.sct"}}
299 299  scchart Module_ReactorControl {
300 300   output signal PullOutRods;
301 301   output signal PushInRods;
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9471348
1 +9470040
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471348/PLDI'14 Artifact on SCCharts
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470040/PLDI'14 Artifact on SCCharts