介绍了轨道电路微机监测系统的通信流程。使用 实时系统验证及分析软件UPPAAL对建立的通信模型进行 分析、仿真，并对一些特性进行验证。所建立的通信模型能 够在轨道电路微机监测系统软件中仿真运行，并能够为软件 的开发提供功能及时序规范，确保软件开发的正确性及软件 运行时无死锁等故障发生。
