Abstract: As a form of urban rail transit, medium-low speed maglev transportation system also requires safety-critical design in its operation and control system (OCS), for the OCS system relates to ...