基于Rhapsody的CTCS-3级列控系统无线闭塞中心运营场景建模
Rhapsody-Based Modeling for RBC Operational Scenarios of CTCS-3作者机构:中国铁道科学研究院通信信号研究所北京100081 铁道部运输局北京100844 铁道部C3技术攻关组北京100844 湖北城际铁路公司湖北武汉430062
出 版 物:《中国铁道科学》 (China Railway Science)
年 卷 期:2010年第31卷第4期
页 面:100-104页
核心收录:
学科分类:08[工学] 082302[工学-交通信息工程及控制] 0823[工学-交通运输工程]
基 金:科技部科研院所技术开发研究专项资助项目(2008EG123198)
摘 要:在分析无线闭塞中心(RBC)运营场景的基础上,研究利用Rhapsody建模工具建立RBC运营场景模型,并以RBC与外部系统之间的关系、列车状态和RBC移交列车为例,描述整个RBC运营场景的建模过程。用例图从最高层抽象出构成RBC系统的对象以及各个对象之间的相互关系,用状态图建立RBC各个场景的状态模型,用顺序图描述各个系统的信息交互顺序;利用Rhapsody中提供的动态模型执行功能,查找无线闭塞中心系统设计上的错误和缺陷,为完善RBC设计和系统开发提供依据。