This paper analyzes the failure modes for the functional module of safety location in high-speed maglev systems, especially suitable for use in the specification, design and verification of safety protection regarding train operation control. The objective is to provide a sharper focus on safety issues, failure modes and corresponding processing measures for vehicle's location. This is achieved by analysis according to three profiles including fault, error and failure. For each profile, this paper analyzes the risk source that causes safety issues, and then proposes a safety matrix based on risk level. In the end, a state chart is used as a formal way to demonstrate the features and semantics.

CICTP