Changes for page Basic design
Last modified by nfl on 2025/01/30 12:05
Summary
-
Page properties (2 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. sna1 +XWiki.krat - 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 asecondstation. 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 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. 49 49 50 -The controllers starting from Kicking Horse Pass Station make an assumption of the direction of the train. These are dependent o fthe 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 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. 51 51 52 52 [[image:attach:ICIC.png]] 53 53 ... ... @@ -55,13 +55,8 @@ 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 - 65 65 |=((( 66 66 {{{input int *_perm;}}} 67 67 ... ... @@ -111,9 +111,9 @@ 111 111 112 112 {{{ state backOff1 {}}} 113 113 114 -{{{entry / *_ST_4_req[trainNum] = false;}}} 109 +{{{ entry / *_ST_4_req[trainNum] = false;}}} 115 115 116 -{{{entry / *_LN_0_req[trainNum] = false;}}} 111 +{{{ entry / *_LN_0_req[trainNum] = false;}}} 117 117 118 118 {{{ }}}} 119 119 ... ... @@ -121,7 +121,7 @@ 121 121 122 122 {{{ }}} 123 123 124 -{{{final state gotPerm;}}} 119 +{{{ final state gotPerm;}}} 125 125 126 126 {{{}}}} 127 127 ... ... @@ -129,7 +129,7 @@ 129 129 130 130 {{{ }}} 131 131 132 -{{{state Dep_ IC_ST {}}}127 +{{{state Dep_*_ST {}}} 133 133 134 134 {{{ entry / 'railPoint(*,STRAIGHT)';}}} 135 135 ... ... @@ -241,9 +241,9 @@ 241 241 242 242 {{{ }}} 243 243 244 -{{{ state IC_LN_0_IC_LN_1}}}239 +{{{ state *_LN_0_*_LN_1}}} 245 245 246 -{{{ --> IC_LN_1 with 'railContact(IC_LN_1,0)';}}}241 +{{{ --> *_LN_1 with 'railContact(*_LN_1,0)';}}} 247 247 248 248 {{{ }}} 249 249 ... ... @@ -436,7 +436,7 @@ 436 436 437 437 {{{ entry / 'railSignal(*_LN_5, FWD, RED)';}}} 438 438 439 -{{{ entry / 'railTrackOff(* C_LN_5)';}}}434 +{{{ entry / 'railTrackOff(*_LN_5)';}}} 440 440 441 441 {{{ entry / 'railTrack(*_ST_0,FWD,trainNum,SLOW)';}}} 442 442 ... ... @@ -506,7 +506,7 @@ 506 506 507 507 {{{ final state reallyDone;}}} 508 508 )))|=((( 509 -~/~/ All permissi ions variables504 +~/~/ All permissions variables 510 510 511 511 ~/~/ All request variables 512 512 ... ... @@ -516,7 +516,7 @@ 516 516 517 517 ~/~/ Destination track number 518 518 519 -~/~/ Cleanup flag for selecting the track ofdestination514 +~/~/ Cleanup flag for selecting the destination track 520 520 521 521 ~/~/ Debug flag for additional output 522 522 ... ... @@ -532,7 +532,7 @@ 532 532 533 533 534 534 535 -~/~/ State, which set requests for needed tracks 530 +~/~/ State, which sets requests for needed tracks 536 536 537 537 538 538 ... ... @@ -540,9 +540,9 @@ 540 540 541 541 542 542 543 -~/~/ Transition forreceived**all**neededpermissions538 +~/~/ Transition is taken, if all permissions are received 544 544 545 -~/~/ Tran isitionforreceived**some**neededpermissions540 +~/~/ Transition is taken, if some (not all) permissions are received 546 546 547 547 548 548 ... ... @@ -560,7 +560,7 @@ 560 560 561 561 562 562 563 -~/~/ Transition to trying the requestingagain558 +~/~/ Transition to repeat requesting permissions procedure 564 564 565 565 566 566 ... ... @@ -589,7 +589,7 @@ 589 589 590 590 591 591 592 -~/~/ Transition to next track segment, if contact is re aded587 +~/~/ Transition to next track segment, if contact is triggered 593 593 594 594 595 595 ... ... @@ -685,7 +685,7 @@ 685 685 686 686 ~/~/ Transitional state 687 687 688 -~/~/ Transition to next track segment, if contact is re aded683 +~/~/ Transition to next track segment, if contact is triggered 689 689 690 690 691 691 ... ... @@ -753,8 +753,6 @@ 753 753 754 754 755 755 756 - 757 - 758 758 ~/~/ Setting the arrival track (output) 759 759 760 760 ... ... @@ -801,6 +801,10 @@ 801 801 802 802 803 803 797 + 798 + 799 + 800 + 804 804 ~/~/ Transitions for permitted tracks don't match wished tracks 805 805 806 806 ... ... @@ -811,6 +811,8 @@ 811 811 812 812 813 813 811 + 812 + 814 814 ~/~/ State for waiting an additional tick 815 815 816 816 ... ... @@ -839,7 +839,7 @@ 839 839 840 840 841 841 842 -~/~/ State for releasing not used track requests and841 +~/~/ State for releasing not used track requests 843 843 844 844 845 845
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -94716 401 +9471660 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/94716 40/Basic design1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9471660/Basic design