Changes for page Basic design
Last modified by nfl on 2025/01/30 12:05
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
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.**
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -94710 421 +9471036 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/94710 42/Basic design1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9471036/Basic design