Changes for page Basic design

Last modified by nfl on 2025/01/30 12:05

From version 14.1
edited by krat
on 2014/08/11 11:18
Change comment: There is no comment for this version
To version 11.1
edited by sna
on 2014/08/06 03:48
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.krat
1 +XWiki.sna
Content
... ... @@ -34,7 +34,7 @@
34 34  
35 35  == Train controller ==
36 36  
37 -Each train controller is set in a separate region with a referenced state. This state has the following interface:
37 +Each train controller is set in a separate region with a referenced state. This state has the following interface
38 38  
39 39  
40 40  \\\\\\\\
... ... @@ -41,13 +41,13 @@
41 41  
42 42  {{{    input int *_perm;         # All permission variables (Tracks) input bool *_perm # KH permission variables   input int trainNum;    input bool cleanup; input bool debug; output bool *_req[]; # All request variables}}}
43 43  
44 -The train controller is composed of several //Station-2-Station// controllers. These are combined to form a complete schedule. Additionally, the cleanup signal has to be watched to abort the schedule and return back to the initial position.
44 +The train controller is composed of several //Station-2-Station// controllers. These are combined to form a complete schedule. Additionally the cleanup signal has to be watched to abort the schedule and return back to the initial position.
45 45  
46 46  == Station-2-Station controller ==
47 47  
48 -Each Station-2-Station controller realizes the movement from one of the stations (IC,OC,KH) to another station. All controllers using IC or OC parts have to respect the traveling directions. For the Kicking Horse Pass two separate controllers, forwards and backwards, are used.
48 +Each station-2-station controller realizes the movement from one of the stations (IC,OC,KH) to a second station. All controllers using IC or OC parts have to respect the traveling directions. For the Kicking Horse Pass two separate controllers, forwards and backwards, are used.
49 49  
50 -The controllers starting from Kicking Horse Pass Station make an assumption of the direction of the train. These are dependent on the directions of the inner or outer circle, e.g. the KHIC controller starts backwards because this is the only valid direction to travel this path. To drive a train from the Kicking Horse Station (facing forward) to the Inner Circle we have to combine the KHOC and OCIC controllers.
50 +The controllers starting from Kicking Horse Pass Station make an assumption of the direction of the train. These are dependent of the directions of the inner or outer circle, e.g. the KHIC controller starts backwards because this is the only valid direction to travel this path. To drive a train from the Kicking Horse Station (facing forward) to the Inner Circle we have to combine the KHOC and OCIC controllers.
51 51  
52 52  [[image:attach:ICIC.png]]
53 53  
... ... @@ -55,8 +55,13 @@
55 55  Next the train **must** wait for// int railDeparture(int train)// to return 1.
56 56  After the waiting has finished the controller can reach a final state and pass the control back to the train controller.
57 57  
58 -=== Structure   ===
58 +=== Structure ===
59 59  
60 +----
61 +
62 +
63 +
64 +
60 60  |=(((
61 61  {{{input int *_perm;}}}
62 62  
... ... @@ -106,9 +106,9 @@
106 106  
107 107  {{{    state backOff1 {}}}
108 108  
109 -{{{ entry / *_ST_4_req[trainNum] = false;}}}
114 +{{{entry / *_ST_4_req[trainNum] = false;}}}
110 110  
111 -{{{ entry / *_LN_0_req[trainNum] = false;}}}
116 +{{{entry / *_LN_0_req[trainNum] = false;}}}
112 112  
113 113  {{{    }}}}
114 114  
... ... @@ -116,7 +116,7 @@
116 116  
117 117  {{{ }}}
118 118  
119 -{{{ final state gotPerm;}}}
124 +{{{final state gotPerm;}}}
120 120  
121 121  {{{}}}}
122 122  
... ... @@ -124,7 +124,7 @@
124 124  
125 125  {{{ }}}
126 126  
127 -{{{state Dep_*_ST {}}}
132 +{{{state Dep_IC_ST {}}}
128 128  
129 129  {{{    entry / 'railPoint(*,STRAIGHT)';}}}
130 130  
... ... @@ -236,9 +236,9 @@
236 236  
237 237  {{{ }}}
238 238  
239 -{{{  state *_LN_0_*_LN_1}}}
244 +{{{  state IC_LN_0_IC_LN_1}}}
240 240  
241 -{{{  --> *_LN_1 with 'railContact(*_LN_1,0)';}}}
246 +{{{  --> IC_LN_1 with 'railContact(IC_LN_1,0)';}}}
242 242  
243 243  {{{ }}}
244 244  
... ... @@ -431,7 +431,7 @@
431 431  
432 432  {{{    entry / 'railSignal(*_LN_5, FWD, RED)';}}}
433 433  
434 -{{{    entry / 'railTrackOff(*_LN_5)';}}}
439 +{{{    entry / 'railTrackOff(*C_LN_5)';}}}
435 435  
436 436  {{{    entry / 'railTrack(*_ST_0,FWD,trainNum,SLOW)';}}}
437 437  
... ... @@ -501,7 +501,7 @@
501 501  
502 502  {{{  final state reallyDone;}}}
503 503  )))|=(((
504 -~/~/ All permissions variables
509 +~/~/ All permissiions variables
505 505  
506 506  ~/~/ All request variables
507 507  
... ... @@ -511,7 +511,7 @@
511 511  
512 512  ~/~/ Destination track number
513 513  
514 -~/~/ Cleanup flag for selecting the destination track
519 +~/~/ Cleanup flag for selecting the track of destination
515 515  
516 516  ~/~/ Debug flag for additional output
517 517  
... ... @@ -527,7 +527,7 @@
527 527  
528 528  
529 529  
530 -~/~/ State, which sets requests for needed tracks
535 +~/~/ State, which set requests for needed tracks
531 531  
532 532  
533 533  
... ... @@ -535,9 +535,9 @@
535 535  
536 536  
537 537  
538 -~/~/ Transition is taken, if all permissions are received
543 +~/~/ Transition for received **all** needed permissions
539 539  
540 -~/~/ Transition is taken, if some (not all) permissions are received
545 +~/~/ Tranisition for received **some** needed permissions
541 541  
542 542  
543 543  
... ... @@ -555,7 +555,7 @@
555 555  
556 556  
557 557  
558 -~/~/ Transition to repeat requesting permissions procedure
563 +~/~/ Transition to trying the requesting again
559 559  
560 560  
561 561  
... ... @@ -584,7 +584,7 @@
584 584  
585 585  
586 586  
587 -~/~/ Transition to next track segment, if contact is triggered
592 +~/~/ Transition to next track segment, if contact is readed
588 588  
589 589  
590 590  
... ... @@ -680,7 +680,7 @@
680 680  
681 681  ~/~/ Transitional state
682 682  
683 -~/~/ Transition to next track segment, if contact is triggered
688 +~/~/ Transition to next track segment, if contact is readed
684 684  
685 685  
686 686  
... ... @@ -748,6 +748,8 @@
748 748  
749 749  
750 750  
756 +
757 +
751 751  ~/~/ Setting the arrival track (output)
752 752  
753 753  
... ... @@ -794,10 +794,6 @@
794 794  
795 795  
796 796  
797 -
798 -
799 -
800 -
801 801  ~/~/ Transitions for permitted tracks don't match wished tracks
802 802  
803 803  
... ... @@ -808,8 +808,6 @@
808 808  
809 809  
810 810  
811 -
812 -
813 813  ~/~/ State for waiting an additional tick
814 814  
815 815  
... ... @@ -838,7 +838,7 @@
838 838  
839 839  
840 840  
841 -~/~/ State for releasing not used track requests
842 +~/~/ State for releasing not used track requests and
842 842  
843 843  
844 844  
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9471660
1 +9471640
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9471660/Basic design
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9471640/Basic design