中国列车运行控制系统(Chinese Train Control System,CTCS)是保障列车运行安全和效率的安全苛求系统。列控数据作为信号设备信息、列车状态信息和线路信息的载体,其正确性是列车安全运行的重要前提。目前针对不同的列控子系统,数据描述方式不同且没有特定的数据规范,列控数据的验证也主要依靠人工校验和仿真测试相结合的方式,效率低且正确性难以保证。针对上述问题,本文以研究CTCS-1级列控系统地面核心设备—区域列控数据中心(RDC)的静态数据验证为例,从RDC数据组织方式设计和数据验证两个方面进行了研究,首先建立了 RDC静态数据模型,然后提出了数据验证的总体框架,设计和开发了 RDC数据自动化验证工具,实现了数据的自动化验证。论文完成的工作包括:(1)设计RDC数据组织方式,建立RDC静态数据模型。通过分析RDC系统需求将数据分为点元素、线元素和区域元素,构建各数据元素之间的逻辑关系模型,使之既体现线路拓扑关系又便于后期维护和更新,最终建立RDC静态数据结构模型,并结合实际线路数据生成RDC静态数据库。(2)提出数据建模和验证的总体框架,将其分为四个阶段:数据约束规则提取、数据验证模型建立、模型检验、数据验证工具开发。首先根据列控数据规范和RDC功能需求,结合数据编制和验证经验,将数据约束规则总结为域值关系规则、映射关系规则、关联关系规则和连续关系规则,为保证验证过程的全面性和条理性,论文设计了数据字段的横向验证和纵向验证方法,基于数据约束规则建立数据验证流程的CSP模型。(3)基于上述形式化数据验证模型,建立数据约束规则、数据验证模型、模型检验、结果分析之间的双向跟踪链,得到符合数据约束规则的RDC数据验证模型。论文从正确性、有效性、安全性三个方面对模型进行检验,首先利用ProB验证器检验模型是否存在死锁、活锁等问题以及是否满足约束规则,在此基础上通过CSP-Petri模型转换,利用Petri网可达树分析法对模型的安全性进行分析,通过多次模型修改和重验最终证明了模型满足要求。(4)基于以上数据验证模型,借助.NET Framework平台开发了 RDC数据自动化验证工具。以实际线路数据测试软件的验证效果,通过对比经软件验证无误和经传统数据验证方法证实无误的数据,说明通过自动化验证软件对RDC数据进行验证可在提高验证效率的同时保证数据的正确性,也证明了本文提出的RDC数据验证方法的可行性。