基于UML的城轨列车超速防护系统建模

摘要：分析I-Logix公司的Rhapsody软件的主要特性在Rhapsody开发环境下对北京地铁1号线的ATP系统车载设备进行UML建模,并介绍系统级调试功能。

统一建模语言UML(UnifiedModelingLanguage)是迄今为止最好的面向对象的统一建模语言,它取代了以往各种面向对象表示法,可以全面、细致地同时描叙业务和软件系统,实现软件开发全生命周期建模的无缝统一。UML与OOAD(面向对象分析和设计)工具的结合,更使软件工程思想的实现往前走了一大步。

美国I-Logix公司的Rhapsody是一种基于UML2.0的面向嵌入式应用开发的集成可视化环境,它为嵌入式软件的开发提供了一个“四化”的支撑平台,即可视化、工程化、自动化和团队化。Rhapsody正在迅速成为国防/航空航天领域首选的MDD(模型驱动开发,ModelDrivenDevelopment)开发环境,在一系列项目中(如FutureCombatSystems(FCS)andF22等)被作为主要开发工具来使用。

列车自动防护系统(ATP系统)是城市轨道交通运行控制系统的组成部分之一。它主要保证提供速度限制信息以保持列车间的安全间隔,使列车在符合限制速度的标准下运行。ATP车载设备是列车自动防护系统的一个重要组成部分,负责完成ATP车载部分的功能。北京地铁1号线所采用的LCF100DT型车载设备是保证列车运行安全、提高运输能力的地铁信号专用技术的行车安全控制设备。本文首先介绍了Rhapsody的主要特性———实时框架,然后分析了ATP系统的工作原理,并在Rhapsody基础上对北京地铁1号线的ATP系统车载设备软件系统进行建模,最后分析了系统级调试功能。

1 Rhapsody框架特性

Rhapsody的实时框架是一个垂直框架,嵌入式和实时应用专门选择和优化的设计模板,实现了用于内务处理(如状态机的实现、容器类的实现等)代码的重写,实时框架使得设计的模型与操作系统无关,通过实时框架,应用程序可以方便地从一个实时操作系统移植到其他的操作系统。

实时框架包含4个主要部分,如图1所示。对象执行框架提供UML模型执行的基本结构管理线程状态机的执行,对象间关联模式管理对象间的一对多、多对多关系,抽象操作系统与框架自身和实时操作系统无关,便于框架的移植动画,调试框架可以使用户进行基于模型的调试,如基于状态图的断点设置、捕捉不同对象间消息映射等。下面分析对象执行框架中的主要元素。