Summary

• Page properties (2 modified, 0 added, 0 removed)

Details

Page properties

Author

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

Content

...	...	@@ -7,7 +7,7 @@
7	7	Goal is to develop a modular controller using inheritance that can schedule as many trains as possible (max. 11).
8	8	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.
9	9	For this project, all previous documentation and SCCharts are available for inspection.
10		-The environment simulation developed in the [[Railway Project 2017>>doc:Projects.Railway Project - Summer Term 2017.WebHome||shape="rect"]] should be used as an interface.
	10	+The environment simulation developed in the [[Railway Project 2017>>doc:Projects.Archive.Railway Project - Summer Term 2017.WebHome||shape="rect"]] should be used as an interface.
11	11	* **Railway Simulation and Visualization**
12	12	At the end of the project the controller should be testable with the existing environment and your modular controller inside KIELER or KEITH.
13	13
...	...	@@ -41,5 +41,4 @@
41	41	* **Model Checking**
42	42	Use model checking to validate your controller.
43	43
44		-
45	45