dsl在计算机锁软件开发中的应用研究.pdfVIP

中文摘要 摘要：计算机联锁系统是保证铁路行车安全、提高行车效率的关键信号设备，联 锁软件是系统的核心单元。近年来，计算机联锁系统在世界范围内得到广泛应用， 成为车站联锁系统的主要发展方向，在技术和功能上也对联锁软件提出了新的要 求。传统软件开发方法在软件可靠性、安全性、开发效率以及可维护性上都显露 出不足，本文提出的以领域建模语言(Domain Specific 锁软件开发方法，通过集成领域建模语言、模型转换技术、模型检验及仿真理论 和方法，有效提高了联锁软件的可靠性、安全性和自动化水平。 本文以联锁软件的核心一一进路控制过程为研究重点，提出以DSL为核心的 联锁软件开发方法实现了基于DSL．S的站场平面图的绘制、联锁表的自动生成及 验证、进路控制流程的建模、基于模型转换的进路控制程序的生成以及代码的仿 真。 本文首先介绍了铁路车站平面图建模语言(DSL．S)及其编辑器的设计目标， 并给出具体的设计方法，其次分析了联锁表的主要内容及其生成方法，并提出基 于探索回溯思想的联锁表白动生成算法，接着给出基于时间自动机及其验证工具 UPPAAL的联锁表的验证方法，又在分析了联锁进路控制流程的基础上，利用 xUML建立了进路控制的模型，重点阐述了通过模型转换技术完成进路控制代码 的生成的原理以及对生成的代码进行仿真的主要步骤，最后以某一具体车站的联 锁软件开发为例，阐述了以DSL为核心的软件开发方法在实际的联锁软件开发中 的应用。 论文工作表明，用本文提出的以DSL为核心的软件开发方法开发的联锁软件， 具有高可靠性、高安全性、高效率以及易维护等优点，能够有效地满足轨道交通 计算机联锁系统的发展要求。 本文共有图55幅，表8个，参考文献40篇。 关键词：计算机联锁软件；领域建模语言(DSL)；进路搜索算法；模型转换；模 型检验；仿真。 分类号：U284．3 ABSTRACT thecritical ABSTRACT：TheBased signal ComputerInterlockingSystem(CBI)is usedtoensurethe and the transportationefficiency． equipment travelingsafetyimprove is core oftheCBI recent The softwarethe system．Inyears， interlocking part havebeen becamethemain used，and computer-basedinterlockingsystems widely of of outthenew directionthe requests developmentinterlockingsystem，whichbring software tothe software．Thetraditio