Skip to Content

Changes for page Documentation

Last modified by Soeren Domroes on 2025/01/30 12:05
From version 15.1
edited by Alexander Schulz-Rosengarten
on 2014/06/18 13:20
Change comment: There is no comment for this version
To version 13.1
edited by csp
on 2014/06/18 10:18
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.als
1 +XWiki.csp
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,37 +139,8 @@
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 ==
140 +== Quit, Pause and Cleanup ==
143 143  
144 -An example controller for deadlock prevention is located in// rail-repo: docs/deadlocks/resolve_deadlock.sct//
145 -
146 -= C Controller =
147 -
148 -The C controller wraps the basic railway interface and creates an correct environment to run the generated controller.
149 -
150 -== Make Script ==
151 -
152 -A make script written in Python is located in rail-repo: code/make.py
153 -
154 -This script will compiel the whole controller for simulation or real railway and optionally executes it.//
155 -//
156 -
157 -Calling**// python// //make.py//** without further command-line arguments will print a help message with all available command line options.
158 -
159 -Make Script Features:
160 -
161 -* Header-file will be included automatically
162 -
163 -Results are located in //rail-repo: code/build///
164 -
165 -== Railway Interface ==
166 -
167 -Provided functions are defined in// rail-repo: code/hostcode/controller.h//
168 -
169 -== Interaction ==
170 -
171 -=== Quit, Pause and Cleanup ===
172 -
173 173  Quit, pause and cleanup functionality is handled in the c interface.
174 174  
175 175  **CTRL+C** (SIGINT)** **quits the controller
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9471003
1 +9470999
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/9470999/Documentation