If two trains enter the same block section, there should in theory be multiple independent lines of defense (track circuit occupancy detection, interlocking logic, ATP onboard braking curves).