期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
城市轨道交通列车自动防护系统软件设计 被引量:4
1
作者 刘攀峰 邱昕夕 +2 位作者 陈祥献 黄海 段会龙 《计算机工程》 CAS CSCD 2012年第19期1-5,共5页
从当前国内城市轨道交通信号系统的实际需求出发,提出一种列车自动防护(ATP)系统。确定基于通信的列车运行控制系统中ATP子系统的开发目标和功能划分,给出系统设计方案和实现方法。使用沈阳地铁1号线的线路数据在仿真平台上进行测试,运... 从当前国内城市轨道交通信号系统的实际需求出发,提出一种列车自动防护(ATP)系统。确定基于通信的列车运行控制系统中ATP子系统的开发目标和功能划分,给出系统设计方案和实现方法。使用沈阳地铁1号线的线路数据在仿真平台上进行测试,运行结果表明,该ATP系统能够满足设计目标和要求。 展开更多
关键词 城市轨道交通 信号系统 列车自动防护 安全软件设计 安全制动模型 自动折返
下载PDF
基于UML的列车自动防护系统需求建模研究 被引量:1
2
作者 刘攀峰 邱昕夕 +2 位作者 陈祥献 黄海 段会龙 《计算机科学》 CSCD 北大核心 2012年第B06期478-481,共4页
针对列车自动防护系统(ATP)对软件的高安全性的需求,提出并实现了一种基于UML的需求建模方法。该方法借鉴了形式化语言的特点,在经典的状态机模型上做了改进,引入了超级状态机,并定义了精确的规则和语义,实现了对复杂的ATP系统的形式化... 针对列车自动防护系统(ATP)对软件的高安全性的需求,提出并实现了一种基于UML的需求建模方法。该方法借鉴了形式化语言的特点,在经典的状态机模型上做了改进,引入了超级状态机,并定义了精确的规则和语义,实现了对复杂的ATP系统的形式化建模。在某城市地铁线路的信号系统的应用表明,此方法建立的需求模型避免了语言描述的二义性,降低了软件故障率,提高了ATP系统的安全性,且更易于开发和维护。 展开更多
关键词 列车自动防护 需求建模 统一建模语言 形式化方法 安全性
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部