Summary

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

Details

Page properties

Content

...	...	@@ -117,8 +117,6 @@
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		-
122	122	=== TrainController ===
123	123
124	124	Train-Schedules should be modelled by putting together the Station-to-Station-Controllers for every train in individual regions.
...	...	@@ -139,10 +139,6 @@
139	139	bool <track>_req[<trainAmount>] contains the requests for each track and train. Before the availability of arrays, we used bool <train>_<track>_req.
140	140	int <track>_perm contains the trainnumber of the train, who is allowed to drive on <track>.
141	141
142		-== Deadlock Prevention ==
143		-
144		-An example controller for deadlock prevention is located in// rail-repo: docs/deadlocks/resolve_deadlock.sct//
145		-
146	146	= C Controller =
147	147
148	148	The C controller wraps the basic railway interface and creates an correct environment to run the generated controller.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-9471003
	1	+9471001

URL

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