原文传递
DSL在计算机联锁软件开发中的应用研究
| 论文题名： | DSL在计算机联锁软件开发中的应用研究 |
| 关键词： | 计算机联锁软件;领域建模语言;进路搜索算法;模型转换;仿真技术;铁路车站 |
| 摘要： | 计算机联锁系统是保证铁路行车安全、提高行车效率的关键信号设备，联锁软件是系统的核心单元。近年来，计算机联锁系统在世界范围内得到广泛应用，成为车站联锁系统的主要发展方向，在技术和功能上也对联锁软件提出了新的要求。传统软件开发方法在软件可靠性、安全性、开发效率以及可维护性上都显露出不足，本文提出的以领域建模语言(Domain Specific Language，DSL)为核心的联锁软件开发方法，通过集成领域建模语言、模型转换技术、模型检验及仿真理论和方法，有效提高了联锁软件的可靠性、安全性和自动化水平。 本文以联锁软件的核心--进路控制过程为研究重点，提出以DSL为核心的联锁软件开发方法实现了基于DSL-S的站场平面图的绘制、联锁表的自动生成及验证、进路控制流程的建模、基于模型转换的进路控制程序的生成以及代码的仿真。 本文首先介绍了铁路车站平面图建模语言(DSL-S)及其编辑器的设计目标，并给出具体的设计方法，其次分析了联锁表的主要内容及其生成方法，并提出基于探索回溯思想的联锁表自动生成算法，接着给出基于时间自动机及其验证工具UPPAAL的联锁表的验证方法，又在分析了联锁进路控制流程的基础上，利用xUML建立了进路控制的模型，重点阐述了通过模型转换技术完成进路控制代码的生成的原理以及对生成的代码进行仿真的主要步骤，最后以某一具体车站的联锁软件开发为例，阐述了以DSL为核心的软件开发方法在实际的联锁软件开发中的应用。 论文工作表明，用本文提出的以DSL为核心的软件开发方法开发的联锁软件，具有高可靠性、高安全性、高效率以及易维护等优点，能够有效地满足轨道交通计算机联锁系统的发展要求。 |
| 作者： | 曹妍 |
| 专业： | 交通信息工程及控制 |
| 导师： | 唐涛 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京交通大学 |
| 学位年度： | 2011 |
| 正文语种： | 中文 |
检索历史
应用推荐
