Wiki source code of PLDI'14 Artifact on SCCharts

Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17

version	line-number	content
61.1	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]]
38.1	2
	3
	4
37.1	5	{{info}}
61.1	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.
37.1	7	{{/info}}
	8
36.1	9	= Modeling SCCharts with KIELER – PLDI'14 Artifact =
7.1	10
28.1	11	This tutorial should guide you if you like to model SCCharts with KIELER and use the circuit based software synthesis path as explained in our [1] [[PLDI'14 submission>>url:http://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/papers/pldi14-submitted.pdf\|\|shape="rect"]]. We will show you how to
7.1	12
9.1	13	~1. Download & Start KIELER,
7.1	14
	15	2. Model an SCChart, and
	16
	17	3. Generate C Code.
	18
62.1	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"]].
7.1	20
33.1	21	See a list of the evaluated examples at the end.
	22
8.1	23
	24
28.1	25	[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"]]
8.1	26
24.1	27
7.1	28
25.1	29	In addition to the step-by-step tutorial below we also captured a [[video >>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/sccharts.swf\|\|shape="rect"]]that shows each of the explained steps:
24.1	30
25.1	31	[[~[~[image:attach:RTEmagicC_demo.png.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/sccharts.swf\|\|shape="rect"]]
24.1	32
25.1	33	Download location: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~kieler/files/pldi14/sccharts.swf>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/sccharts.swf\|\|shape="rect"]]
	34
24.1	35	= 1. Download & Start KIELER =
	36
9.1	37	[[Download>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/\|\|shape="rect"]] a suitable KIELER version for your operation system. The zip bundles are fully compiled and ready-to-run, they do not need any further installation process. Just save and extract them to/at the location of your choice and start the KIELER executable.
7.1	38
8.1	39	[[~[~[image:attach:RTEmagicC_download.png.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/\|\|shape="rect"]]
	40
25.1	41	Download location: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~kieler/files/pldi14/>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/\|\|shape="rect"]]
8.1	42
9.1	43	When you start the KIELER executable, you probably need to set a (new) workspace location of your choice. (Click on the images to enlarge them).
	44
	45	[[image:attach:kieler1.png]]
	46
	47	If you selected a new workspace location, you will see a welcome screen like this:
	48
	49	[[image:attach:kieler02.png]]
	50
	51	Dismiss this "Welcome" tab. After that you'll be all set and KIELER should look like this:
	52
	53	[[image:attach:kieler03.png]]
	54
10.1	55	In order to prepare modeling, we must create a project. Right-click in the Project Explorer to do so.
	56
	57	[[image:attach:kieler04.png]]
	58
	59	Select a General Project and click on next, then enter a project name, e.g. pldi14 and click on finish:
	60
	61	[[image:attach:kieler05.png]][[image:attach:kieler06.png]]
	62
	63	Now KIELER should look like this:
	64
	65	[[image:attach:kieler07.png]]
	66
	67	Now you can proceed in modeling an SCChart as explained below.
	68
35.1	69	= 2. + 3. Model and Compile an SCChart =
7.1	70
61.1	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.
7.1	72
18.1	73
16.1	74
31.1	75	= 4. Evaluated Examples =
16.1	76
62.1	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]].
31.1	78
54.1	79	Find the list of Examples used for evaluation [[here>>doc:KIELER.TO DELETE.Examples.WebHome]].

Wiki source code of PLDI'14 Artifact on SCCharts

Navigation

Quick Links