原文传递
基于时间自动机模型的联锁软件规则描述研究
| 论文题名： | 基于时间自动机模型的联锁软件规则描述研究 |
| 关键词： | 铁路信号;计算机联锁;时间自动机;联锁规则;模型化描述;联锁软件 |
| 摘要： | 本文的研究对象是由合肥工业大学开发的”HJ04A铁路信号计算机联锁系统”。其主要内容是从时间自动机的角度对联锁软件规则进行描述，即研究道岔、信号机、进路、进路锁闭和进路解锁这五个基本联锁功能各自的内部状态以及状态之间的转移过程并将其模型化，并提出了一种采用时间自动机模型设计联锁软件方法。 论文首先阐述了课题的来源，目的和意义。接下来着重介绍了HJ04A铁路信号计算机联锁系统的体系结构、系统功能和一些基本的联锁规则。第三章介绍了三种形式化描述方法：UML、Petri网和自动机，并对这三种形式化描述方法的优缺点进行了分析和比较。在第四章里，归纳了在五个基本联锁规则里存在的状态以及状态之间的转换，并进行了基于时间自动机的模型化描述。在第五章，提出了一种基于时间自动机模型的联锁软件设计方法。 |
| 作者： | 李晓鸋 |
| 专业： | 计算机应用技术 |
| 导师： | 魏臻 |
| 授予学位： | 硕士 |
| 授予学位单位： | 合肥工业大学 |
| 学位年度： | 2006 |
| 正文语种： | 中文 |
检索历史
应用推荐
