基于通信的列车控制系统是利用高精度的列车定位（不依赖于轨道电路），双向连续、大容量的车-地通信，车载、地面安全处理器共同实现的一种连续式的自动列车控制系统[9]。它通过不同子系统之间的数据通信来确保列车运行的安全，是城市轨道交通列车运行控制系统的发展趋势。区域控制中心作为CBTC系统核心地面设备，在保证列车运行间隔，确保列车安全运行方面发挥着重要作用。对系统需求的详细分析是建立可靠系统的前提，本文通过对CBTC系统整体结构及其行车管理方式的描述，尤其是对移动授权概念及作用的详细说明，明确了各个子系统尤其是ZC子系统在CBTC系统中承担的功能。移动授权的分配及执行是整个CBTC系统的核心，ZC子系统承担着移动授权分配的核心功能。通过对ZC子系统功能需求的详细分析，明确了列车追踪需要完成的功能。列车追踪功能是ZC子系统核心安全功能之一，是进行移动授权分配的基础。正是由于列车追踪功能对安全性的极高要求，在进行列车追踪功能的设计及实现时，必须确保整个功能设计的安全性及合理性。通过对列车追踪模型的建立，并采用基于UML的开发环境对建立的追踪模型进行分析验证，可以及早发现设计缺陷，保证设计的合理性。为了建立列车追踪模型，需要对列车追踪的原理进行分析。在对列车追踪功能需求详细分析的基础上，本文对列车追踪功能的具体实现进行了设计，尤其是对列车追踪的核心子功能进行了详细设计。在此基础上，完成了对列车追踪模型的建立，并采用Rhapsody对列车追踪核心子功能模型进行了验证，证明了列车追踪功能设计的合理性。