摘要：平面调车是一种铁路调车过程中的离散事件系统．可靠性高、易测试的平面调车软件对保障铁路运输安全极为重要，因此需要建立一种规范模型基础上的平面调车软件设计方法．分析了平面调车系统中事件驱动过程的复杂性以及自然语言规则描述方式的缺陷，提出通过自动机模型描述平面调车系统，具体讨论了平面调车系统与时间自动机（TA）、下推自动机（PDA）和分层自动机的关系．从状态划分、数据结构设计、状态转移流程等方面说明了基于自动机模型的平面调车软件的设计方法．

关键词：离散事件系统 平面调车 时间自动机 下推自动机 

单位：合肥工业大学计算机与信息学院; 安徽合肥230009; 合肥工业大学高科信息技术有限责任公司; 安徽合肥230088