Fifth refinement Clause Samples

Fifth refinement. Refinement_Plan_Requirement_25 : For a given train, when EB is triggered, train_extended_occupancy can change, but remain within the previous train_extended_occupancy limits. Refinement_Plan_Requirement_26 : When EB is triggered, the train can move (train_occupancy can change), but within train_extended_occupancy. Refinement_Plan_Requirement_38 : In Full-ATP control mode, the on-board controller has to avoid collision: If the downstream limit of