在铁路信号计算机联锁系统中,联锁软件是实现联锁运算的核心部分。联锁软件的失效将有可能导致列车相撞或颠覆等重大事故的出现。因此,提高联锁软件的质量,提升其可靠性对开发联锁软件具有极其重要的意义。 本文的研究对象是由合肥工业大学开发的”HJ04A铁路信号计算机联锁系统”。其主要内容是从时间自动机的角度对联锁软件规则进行描述,即研究道岔、信号机、进路、进路锁闭和进路解锁这五个基本联锁功能各自的内部状态以及状态之间的转移过程并将其模型化,并提出了一种采用时间自动机模型设计联锁软件方法。 论文首先阐述了课题的来源,目的和意义。接下来着重介绍了HJ04A铁路信号计算机联锁系统的体系结构、系统功能和一些基本的联锁规则。第三章介绍了三种形式化描述方法:UML、Petri网和自动机,并对这三种形式化描述方法的优缺点进行了分析和比较。在第四章里,归纳了在五个基本联锁规则里存在的状态以及状态之间的转换,并进行了基于时间自动机的模型化描述。在第五章,提出了一种基于时间自动机模型的联锁软件设计方法。