Summary

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

Details

Page properties

Author

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

Content

...	...	@@ -1,12 +4,5 @@
1		-{{layout}}
2		-{{layout-section ac:type="single"}}
3		-{{layout-cell}}
4	4	This is a rough concept of the aspects that should/can be covered in this project.
5		-{{/layout-cell}}
6		-{{/layout-section}}
7	7
8		-{{layout-section ac:type="two_equal"}}
9		-{{layout-cell}}
10	10	**SCCharts Railway Controller**
11	11
12	12	* **SCCharts Railway Controller**
...	...	@@ -17,48 +17,36 @@
17	17	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.
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		-{{/layout-cell}}
21	21
22		-{{layout-cell}}
23	23	[[image:attach:dynamicScheduling.png]][[image:attach:ICIC.png]][[image:attach:overview.png]]
24	24
25	25	[[image:attach:020-Lego5.png]]
26	26
27	27	[[image:attach:2007-3.jpg]][[image:attach:2007-4.jpg]][[image:attach:gleisplan.png]]
28		-{{/layout-cell}}
29		-{{/layout-section}}
30	30
31		-{{layout-section ac:type="two_equal"}}
32		-{{layout-cell}}
33	33	**Optional / Additional Aspects:**
34	34
35	35	* **Railway Modeling DSL**
36	36	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.
37		-\\
	24	+
38	38	* **Lighthouses**
39	39	Extend your controller to be able to control the two [[mini-lighthouses>>url:https://rtsys.informatik.uni-kiel.de/confluence/display/RTProjectSS16||shape="rect"]] in H0 scale that were build In a previous student project
40	40	They should be included in the railway installation physically.
41		-\\
	28	+
42	42	* **Train Tracking**
43	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.
44		-\\
	31	+
45	45	* **Dataflow or Hybrid Model**
46	46	Develop your controller or part of your controller in SCCharts dataflow.
47		-\\
	34	+
48	48	* **Distributed SCCharts**
49	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.
50		-\\
	37	+
51	51	* **Multiple Controllers**
52	52	Enable the railway system to support the execution of multiple controllers at once.
53		-\\
	40	+
54	54	* **Model Checking**
55	55	Use model checking to validate your controller.
56	56
57		-\\
58		-{{/layout-cell}}
59	59
60		-{{layout-cell}}
61		-\\
62		-{{/layout-cell}}
63		-{{/layout-section}}
64		-{{/layout}}
	45	+