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.csp
	1	+XWiki.krat

Content

...	...	@@ -117,6 +117,8 @@
117	117
118	118	At the end of every Station-to-Station-Controller the trains should stand in one station, because every controller starts with the train in standstill.
119	119
	120	+Contact reading in triggers should only used when it is clearly determined which train will fire the contact.
	121	+
120	120	=== TrainController ===
121	121
122	122	Train-Schedules should be modelled by putting together the Station-to-Station-Controllers for every train in individual regions.
...	...	@@ -137,8 +137,41 @@
137	137	bool <track>_req[<trainAmount>] contains the requests for each track and train. Before the availability of arrays, we used bool <train>_<track>_req.
138	138	int <track>_perm contains the trainnumber of the train, who is allowed to drive on <track>.
139	139
140		-== Quit, Pause and Cleanup ==
	142	+== Deadlock Prevention ==
141	141
	144	+An example controller for deadlock prevention is located in// rail-repo: docs/deadlocks/resolve_deadlock.sct//
	145	+
	146	+Sidings should only be used in one direction.
	147	+
	148	+Trains trying to leave a station in order to use KIO_LN_0 or KIO_LN_1 should, if they do not receive the locks for all segments, release them for two ticks.
	149	+
	150	+= C Controller =
	151	+
	152	+The C controller wraps the basic railway interface and creates an correct environment to run the generated controller.
	153	+
	154	+== Make Script ==
	155	+
	156	+A make script written in Python is located in rail-repo: code/make.py
	157	+
	158	+This script will compiel the whole controller for simulation or real railway and optionally executes it.//
	159	+//
	160	+
	161	+Calling**// python// //make.py//** without further command-line arguments will print a help message with all available command line options.
	162	+
	163	+Make Script Features:
	164	+
	165	+* Header-file will be included automatically
	166	+
	167	+Results are located in //rail-repo: code/build///
	168	+
	169	+== Railway Interface ==
	170	+
	171	+Provided functions are defined in// rail-repo: code/hostcode/controller.h//
	172	+
	173	+== Interaction ==
	174	+
	175	+=== Quit, Pause and Cleanup ===
	176	+
142	142	Quit, pause and cleanup functionality is handled in the c interface.
143	143
144	144	**CTRL+C** (SIGINT)** **quits the controller

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-9470999
	1	+9471043

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9470999/Documentation
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9471043/Documentation