刘攀峰
- 作品数：2 被引量：5H指数：1
- 供职机构：浙江大学生物医学工程与仪器科学学院更多>>
- 发文基金：国家科技支撑计划更多>>
- 相关领域：自然科学总论自动化与计算机技术更多>>
- 基于UML的列车自动防护系统需求建模研究被引量：1
- 2012年
- 针对列车自动防护系统(ATP)对软件的高安全性的需求,提出并实现了一种基于UML的需求建模方法。该方法借鉴了形式化语言的特点,在经典的状态机模型上做了改进,引入了超级状态机,并定义了精确的规则和语义,实现了对复杂的ATP系统的形式化建模。在某城市地铁线路的信号系统的应用表明,此方法建立的需求模型避免了语言描述的二义性,降低了软件故障率,提高了ATP系统的安全性,且更易于开发和维护。
- 刘攀峰邱昕夕陈祥献黄海段会龙
- 关键词：列车自动防护统一建模语言形式化方法安全性
- 城市轨道交通列车自动防护系统软件设计被引量：4
- 2012年
- 从当前国内城市轨道交通信号系统的实际需求出发,提出一种列车自动防护(ATP)系统。确定基于通信的列车运行控制系统中ATP子系统的开发目标和功能划分,给出系统设计方案和实现方法。使用沈阳地铁1号线的线路数据在仿真平台上进行测试,运行结果表明,该ATP系统能够满足设计目标和要求。
- 刘攀峰邱昕夕陈祥献黄海段会龙
- 关键词：城市轨道交通信号系统列车自动防护
