论文部分内容阅读
基于通信的列车控制(Communications-Based Train Control, CBTC)系统是一种自动列车控制系统,它通过在不同控制系统之间的数据通信来确保列车运行的安全,是城市轨道交通列车运行控制系统的发展趋势。区域控制中心作为CBTC系统的核心地面设备,在保证列车运行间隔,确保列车安全运行方面具有重要作用,直接关系着乘客的生命财产安全,是一个典型的安全相关系统。安全相关系统对系统的完整性和安全性要求很高,这需要对系统的分析方法和设计方法进行针对性的研究,本文介绍了面向对象分析技术的特点和基于模型驱动架构开发的设计方法,对基于模型驱动架构开发的基本概念、开发方法、软件生命周期、开发优点做了详细介绍。对系统需求的详细分析是建立起可靠系统的前提,论文通过介绍CBTC系统的基本结构和行车闭塞方式,确认了ZC系统在CBTC系统中的作用和地位,然后分析了ZC系统的安全性需求、功能性需求和可靠性可维护性需要,为ZC系统模型建立打下基础。模型的建立是基于模型驱动开发的核心工作之一,在模型驱动开发过程中,模型质量的高低决定最后生成系统的质量,本文按照自顶向下的设计思路,采用面向对象的分析技术,结合形式化的建模方法,建立了ZC系统模型,并针对ZC系统的列车管理、MA计算、ZC系统移交等核心功能进行了建模研究。采用形式化的建模方法,有效排除了系统设计过程中可能出现的矛盾性、二义性和含糊性等,在系统设计阶段提高了系统模型的完整性,确保ZC系统能够满足功能性需求和安全性需求。论文最后利用Rhapsody建模软件提供的模型测试验证工具,对ZC系统模型进行验证,证明系统模型设计合理、正确。在ZC系统研究过程中采用基于MDA建模方式可在开发设计阶段及早发现设计缺陷并进行更正,降低系统开发维护成本,提高系统的完整性和安全性。