| ... |
... |
@@ -4,7 +4,7 @@ |
| 4 |
4 |
|
| 5 |
5 |
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/~~biblio/downloads/papers/pldi14.pdf||shape="rect"]]. We will show you how to |
| 6 |
6 |
|
| 7 |
|
-~1. Download & Start KIELER, |
|
7 |
+~1. Download KIELER, |
| 8 |
8 |
|
| 9 |
9 |
2. Model an SCChart, and |
| 10 |
10 |
|
| ... |
... |
@@ -16,40 +16,14 @@ |
| 16 |
16 |
|
| 17 |
17 |
[1] PLDI submission: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~biblio/downloads/papers/pldi14.pdf>>url:http://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/papers/pldi14.pdf||shape="rect" class="moz-txt-link-freetext"]] |
| 18 |
18 |
|
| 19 |
|
-= Download & Start KIELER = |
|
19 |
+= Download KIELER = |
| 20 |
20 |
|
| 21 |
|
-[[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. |
|
21 |
+[[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. |
| 22 |
22 |
|
| 23 |
23 |
[[~[~[image:attach:RTEmagicC_download.png.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]] |
| 24 |
24 |
|
| 25 |
25 |
Download Location: [[http:~~/~~/rtsys.informatik.uni-kiel.de/~~~~kieler/files/pldi14/>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/pldi14/||shape="rect"]] |
| 26 |
26 |
|
| 27 |
|
-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). |
| 28 |
|
- |
| 29 |
|
-[[image:attach:kieler1.png]] |
| 30 |
|
- |
| 31 |
|
-If you selected a new workspace location, you will see a welcome screen like this: |
| 32 |
|
- |
| 33 |
|
-[[image:attach:kieler02.png]] |
| 34 |
|
- |
| 35 |
|
-Dismiss this "Welcome" tab. After that you'll be all set and KIELER should look like this: |
| 36 |
|
- |
| 37 |
|
-[[image:attach:kieler03.png]] |
| 38 |
|
- |
| 39 |
|
-In order to prepare modeling, we must create a project. Right-click in the Project Explorer to do so. |
| 40 |
|
- |
| 41 |
|
-[[image:attach:kieler04.png]] |
| 42 |
|
- |
| 43 |
|
-Select a General Project and click on next, then enter a project name, e.g. pldi14 and click on finish: |
| 44 |
|
- |
| 45 |
|
-[[image:attach:kieler05.png]][[image:attach:kieler06.png]] |
| 46 |
|
- |
| 47 |
|
-Now KIELER should look like this: |
| 48 |
|
- |
| 49 |
|
-[[image:attach:kieler07.png]] |
| 50 |
|
- |
| 51 |
|
-Now you can proceed in modeling an SCChart as explained below. |
| 52 |
|
- |
| 53 |
53 |
= Model an SCChart = |
| 54 |
54 |
|
| 55 |
55 |
xxx |