The invention relates to the technical field of
safety design and
verification of a
rail transit signal system, and discloses an
interlocking software data verification method which comprises the following steps: S1,
data extraction and
standardization: extracting data in a plurality of
interlocking table files, and constructing a standardized intermediate
data model through the extracted data; s2, multi-level consistency
verification is carried out; s3, carrying out formalized modeling and attribute specification; s4, performing model inspection and counter example generation; and S5, generating a safety analysis report. According to the
interlocking software data verification method, a complicated and error-prone manual checking process is replaced by constructing a standardized intermediate
data model and executing automatic multi-level consistency checking, manual driving of checking work is converted into tool driving, the
data verification efficiency is greatly improved, and the data
verification efficiency is greatly improved. And the risk of missing detection caused by human negligence is reduced.