近年来,伴随我国城市化建设步伐的加快,城市人口增长速度越来越快,随之而来的私家车也越来越多,交通的拥挤程度也越来越严重。实践证明,对于城市交通拥堵现象的缓解和治理方面,一个重要的途径就是大力建设城市轨道交通网络,并不断完善新型轨道交通控制技术,以满足更快更密集运营的城市轨道交通发展的需要。列车定位系统是是车载ATP的关键设备之一,是城市轨道交通列车自动运行控制系统的重要组成部分,其安全性和精度是评判定位技术的关键参数,直接影响着列车的运行安全和效率。本文根据城市轨道交通的特点,采用脉冲速度传感器和加速度传感器设计列车测速定位算法。通过速度传感器和加速度传感器分别独立计算列车的当前运行速度,分析两种传感器之间的速度关系判断列车的当前行驶状态,进而计算的列车走行距离,同时算法辅以查询应答器对列车定位信息进行校正。速度传感器和加速度传感器测量误差、空转打滑状态产生的误差、车轮的磨损等是列车定位误差的主要来源。算法从故障-安全的角度设计了列车轮径校正模块,重点分析了空转打滑的检测及误差补偿。高安全应用开发环境SCADE十分适合于高安全性要求的嵌入式软件开发。SCADE支持数据流图和安全状态机两种建模机制,以基于模型的方式为连续系统及离散系统提供图形化建模、仿真及形式化验证,能够极大的提高软件开发的质量和效率。列车测速定位系统是一个典型的安全苛求系统。本文采用SCADE对测速定位系统进行建模,采用屏蔽式覆盖率准则对建立的模型进行覆盖率分析,完善了模型的仿真测试。最后根据列车测速定位系统的安全需求,在SCADE中建立了安全属性模型,采用模型检测的形式化验证技术对模型的安全属性进行了验证,表明模型能够满足测速定位系统的安全要求。本文采用SCADE对测速定位系统进行建模,采用屏蔽式覆盖率准则对建立的模型进行覆盖率分析,完善了模型的仿真测试。最后根据列车测速定位系统的安全需求,建立安全属性模型,在SCADE中采用模型检测的形式化验证技术对模型的安全属性进行了验证,充分证明模型的安全性。