Skip to Content
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
From version 60.2
edited by Alexander Schulz-Rosengarten
on 2023/09/11 16:17
Change comment: Update document after refactoring.
To version 62.1
edited by Alexander Schulz-Rosengarten
on 2023/09/11 16:17
Change comment: Renamed back-links.

Summary

Details

Page properties
Content
... ... @@ -1,9 +1,9 @@
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:KIELER.Command Line Compiler.WebHome@commandlinecompiler2.png]][[doc:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).Command Line Compiler.WebHome]](%%) [[image:attach:SCCharts (pre 1.0)@quickstart.png]][[doc:KIELER.SCCharts.SCCharts (DeprecatedHistorical Documentation).SCCharts (pre 1\.0).Quick Start Guide (pre 0\.13).WebHome]]
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:KIELER.Command Line Compiler.WebHome@commandlinecompiler2.png]][[doc:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).Command Line Compiler.WebHome]](%%) [[image:attach:SCCharts (pre 1.0)@quickstart.png]][[doc:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).Quick Start Guide (pre 0\.13).WebHome]]
2 2  
3 3  
4 4  
5 5  {{info}}
6 -We have moved the guide that shows how to model and compile an SCChart within KIELER to a new [[doc:KIELER.SCCharts.SCCharts (DeprecatedHistorical Documentation).SCCharts (pre 1\.0).Quick Start Guide (pre 0\.13).WebHome]]. Be advised that in order to follow all explanations there may require the latest version of KIELER not the (possibly outdated) PLDI-Artifact.
6 +We have moved the guide that shows how to model and compile an SCChart within KIELER to a new [[doc:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).Quick Start Guide (pre 0\.13).WebHome]]. Be advised that in order to follow all explanations there may require the latest version of KIELER not the (possibly outdated) PLDI-Artifact.
7 7  {{/info}}
8 8  
9 9  = Modeling SCCharts with KIELER – PLDI'14 Artifact =
... ... @@ -16,7 +16,7 @@
16 16  
17 17  3. Generate C Code.
18 18  
19 -We will use a simple example here in order to illustrate the process. Please refer to the SCCharts superpage for the [[project status>>doc:KIELER.SCCharts.SCCharts (DeprecatedHistorical Documentation).SCCharts (pre 1\.0).WebHome]] and [[known limitations>>doc:KIELER.SCCharts.SCCharts (DeprecatedHistorical Documentation).SCCharts (pre 1\.0).WebHome]]. 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"]].
19 +We will use a simple example here in order to illustrate the process. Please refer to the SCCharts superpage for the [[project status>>doc:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).WebHome]] and [[known limitations>>doc:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).WebHome]]. 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"]].
20 20  
21 21  See a list of the evaluated examples at the end.
22 22  
... ... @@ -68,12 +68,12 @@
68 68  
69 69  = 2. + 3. Model and Compile an SCChart =
70 70  
71 -We have moved the guide that shows how to model and compile an SCChart within KIELER to a new [[doc:KIELER.SCCharts.SCCharts (DeprecatedHistorical Documentation).SCCharts (pre 1\.0).Quick Start Guide (pre 0\.13).WebHome]]. Be advised that in order to follow all explanations there may require the latest version of KIELER not the (possibly outdated) PLDI-Artifact.
71 +We have moved the guide that shows how to model and compile an SCChart within KIELER to a new [[doc:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).Quick Start Guide (pre 0\.13).WebHome]]. Be advised that in order to follow all explanations there may require the latest version of KIELER not the (possibly outdated) PLDI-Artifact.
72 72  
73 73  
74 74  
75 75  = 4. Evaluated Examples =
76 76  
77 -In the following, you find the 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:KIELER.SCCharts.SCCharts (DeprecatedHistorical Documentation).SCCharts (pre 1\.0).WebHome]] and [[known limitations>>doc:KIELER.SCCharts.SCCharts (DeprecatedHistorical Documentation).SCCharts (pre 1\.0).WebHome]].
77 +In the following, you find the 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:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).WebHome]] and [[known limitations>>doc:KIELER.SCCharts (DeprecatedHistorical Documentation & Features).SCCharts (pre 1\.0).WebHome]].
78 78  
79 79  Find the list of Examples used for evaluation [[here>>doc:KIELER.TO DELETE.Examples.WebHome]].