Changes for page Concept

Last modified by Soeren Domroes on 2025/01/30 12:19
<
From version < 7.1 >
edited by Niklas Rentz
on 2019/02/21 10:54
To version < 8.1 >
edited by Niklas Rentz
on 2023/07/06 14:52
>
Change comment: Renamed from xwiki:RPST2.Concept

Summary

Details

Page properties
Parent
... ... @@ -1,0 +1,1 @@
1 +Railway Project - Summer Term 2019
Content
... ... @@ -12,19 +12,11 @@
12 12  * **SCCharts Railway Controller**
13 13  The Controller from the previous railway project was nice, but you can surely make a better one.
14 14  Goal is to develop a modular controller using inheritance that can schedule as many trains as possible (max. 11).
15 -Modular means that you should be able to write uni tests or do model checking for small components, e.g. a point or a station.
16 -For this project, all previous Documentation and SCCharts are available for inspection.
15 +Modular means that you should be able to write unit tests or do model checking for small components, e.g. a point or a station.
16 +For this project, all previous documentation and SCCharts are available for inspection.
17 17  The environment simulation developed in the [[Railway Project 2017>>doc:RP2.Railway Project - Summer Term 2017||shape="rect"]] should be used as an interface.
18 18  * **Railway Simulation and Visualization**
19 19  At the end of the project the controller should be testable with the existing environment and your modular controller inside KIELER or KEITH.
20 -
21 -\\
22 -
23 -Whether all these goals are mandatory depends on the number of students who want to do the railway project.
24 -
25 -\\
26 -
27 -\\
28 28  {{/layout-cell}}
29 29  
30 30  {{layout-cell}}
... ... @@ -38,7 +38,7 @@
38 38  
39 39  {{layout-section ac:type="two_equal"}}
40 40  {{layout-cell}}
41 -**Optional / additional aspects:**
33 +**Optional / Additional Aspects:**
42 42  
43 43  * **Railway Modeling DSL**
44 44  Philip Eumann developed a [[DSL for railway control>>url:https://rtsys.informatik.uni-kiel.de/~~biblio/downloads/theses/peu-bt.pdf||shape="rect"]]. Use it.
... ... @@ -48,19 +48,19 @@
48 48  They should be included in the railway installation physically.
49 49  \\
50 50  * **Train Tracking**
51 -Develop a method to track the positions of the trains from start, giving the controller the information which train is where on the track (this might be necessary to develop your controller)
43 +Develop a method to identify the positions of the trains from start, giving the controller the information which train is where on the track.
52 52  \\
53 -* **Dataflow or Hybrid model**
45 +* **Dataflow or Hybrid Model**
54 54  Develop your controller or part of your controller in SCCharts dataflow.
55 55  \\
56 56  * **Distributed SCCharts**
57 -Configure the railway system to run only the SCCharts that are necessary for the specific hardware component.
49 +Split up your SCChart model to be executable on independent segment controllers. Each Raspberry Pi should only run the code for the components it is controlling.
58 58  \\
59 -* **Multiple controllers**
51 +* **Multiple Controllers**
60 60  Enable the railway system to support the execution of multiple controllers at once.
61 61  \\
62 62  * **Model Checking**
63 -Use model checking to validate your controller
55 +Use model checking to validate your controller.
64 64  
65 65  \\
66 66  {{/layout-cell}}
020-Lego5.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +11.9 KB
Content
2007-3.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +283.0 KB
Content
2007-4.jpg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +52.4 KB
Content
ICIC.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +110.6 KB
Content
bahn.sctx.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +4.6 MB
Content
bahn.sctx.svg
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +9.8 MB
Content
dynamicScheduling.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +204.5 KB
Content
gleisplan.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +23.8 KB
Content
overview.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +691.0 KB
Content
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -54198571
1 +54198408
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RPST2/pages/54198571/Concept
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RPST2/pages/54198408/Concept

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage