Summary

• Page properties (2 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.nre
	1	+XWiki.sdo

Content

...	...	@@ -11,12 +11,12 @@
11	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		-If the tool has a sufficient status [[KEITH>>url:http://rtsys.informatik.uni-kiel.de/~~kieler/files/nightly/sccharts-integration/||shape="rect"]] shall be used to model necessary SCCharts.
	14	+Goal is to develop a modular controller using inheritance that can schedule all 11 trains.
	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.
15	15	For this project, all previous Documentation and SCCharts are available for inspection.
16		-* **SCCharts Railway Simulation**
17		-Use KEITH to simulate the developed controller inside KEITH (or do it KIELER)!
18		-* **Railway Simulation and Visualization in KEITH (or KIELER)**
19		-Create a visualization of the simulation when connected to a controller.  Find out more about this TODO.
	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	+* **Railway Simulation and Visualization**
	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	20
21	21	\\
22	22
...	...	@@ -49,11 +49,19 @@
49	49	\\
50	50	* **Train Tracking**
51	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)
52		-
53	53	\\
54		-{{/layout-cell}}
	53	+* **Dataflow or Hybrid model**
	54	+Develop your controller or part of your controller in SCCharts dataflow.
	55	+\\
	56	+* **Distributed SCCharts**
	57	+Configure the railway system to run only the SCCharts that are necessary for the specific hardware component.
	58	+\\
	59	+* **Multiple controllers**
	60	+Enable the railway system to support the execution of multiple controllers at once.
	61	+\\
	62	+* **Model Checking**
	63	+Use model checking to validate your controller
55	55
56		-{{layout-cell}}
57	57	\\
58	58	{{/layout-cell}}
59	59	{{/layout-section}}

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-54198553
	1	+54198555

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RPST2/pages/54198553/Concept
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RPST2/pages/54198555/Concept