Skip to Content

Changes for page Basic design

Last modified by nfl on 2025/01/30 12:05
From version 7.1
edited by nbw
on 2014/06/22 18:50
Change comment: There is no comment for this version
To version 4.1
edited by nbw
on 2014/06/20 08:52
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -1,7 +2,5 @@
1 -= Basic design =
2 2  
3 3  
4 -
5 5  {{toc/}}
6 6  
7 7  We compose our railway controller from several train controllers, combined with controllers for mutual exclusion.
... ... @@ -16,10 +16,6 @@
16 16  
17 17  **For each controlled train** one state and the corresponding transitions are added.
18 18  
19 -A train **must** signal the wish to enter a segment by setting the variable **bool <segment>_req[trainNum] **to true.
20 -The right to enter a segement is given to the train by setting the variable **int <segment>_perm** to the train number.
21 -After leaving a segment the train **must** remove his request by setting <segment>_req[trainNum] to false again.
22 -
23 23  For a free track the *_perm variable is set to -1 and all tracks, apart from starting positions, are initialised with -1. For the starting positions the *_perm variables are set to the corresponding train number and the *_req variable for the train is set to true.
24 24  
25 25  **A train must not enter a segment or alter the settings of a segment without holding the lock for the segment. No exceptions from this rule are allowed.**
... ... @@ -53,6 +53,4 @@
53 53  
54 54  [[image:attach:ICIC.png]]
55 55  
56 -When arriving on a station the train controller **must** first call the function //void railArrival(int train, int station)//. This starts the waiting timer for the train.
57 -Next the train **must** wait for// int railDeparture(int train)// to return 1.
58 -After the waiting has finished the controller can reach a final state and pass the control back to the train controller.
50 +
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9471042
1 +9471017
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9471042/Basic design
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9471017/Basic design