CTCS-3级列控系统规范建模与验证

唐涛; 徐田华; 赵林; 谢雨飞; 李开成

首页> 中文期刊> 《铁道通信信号》 >CTCS-3级列控系统规范建模与验证

CTCS-3级列控系统规范建模与验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

结合统一建模语言UML与符号模型检验SMV形式化方法,提出需求规范严格建模和验证方法.利用需求管理工具,保证了模型和规范的一致性和对规范的覆盖性,同时实现了规范验证结果对模型、转换规则和规范的跟踪.给出了CTCS-3级列控系统严格建模与验证的方法体系和流程,并以CTCS-3级列控系统需求规范中的模式转换部分为例,说明了规范的建模、验证和分析过程.

著录项

来源
《铁道通信信号》 |2010年第4期|7-12|共6页
作者
唐涛; 徐田华; 赵林; 谢雨飞; 李开成;
展开▼
作者单位

北京交通大学轨道交通控制与安全国家实验室,100044,北京;

北京交道大学轨道交通控制与安全国家实验室,100044,北京;

北京交道大学轨道交通控制与安全国家实验室,100044,北京;

北京交通大学轨道交通控制与安全国家实验室,100044,北京;

北京交通大学,100044,北京;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
CTCS-3级列控系统规范; 符号模型检验; 严格建模和验证;

相似文献

中文文献
外文文献
专利

1. CTCS-3级列控系统规范的建模与形式化验证方法研究 [J] . 谢雨飞 ,唐涛 ,徐田华 . 铁道学报 . 2011,第007期
2. CTCS-3级列控系统RBC控车场景建模与验证 [J] . 盛昭君 ,米根锁 . 铁道标准设计 . 2017,第011期
3. CTCS-3级列控系统临时限速建模与验证 [J] . 袁磊 ,王俊峰 ,康仁伟 . 西南交通大学学报 . 2013,第004期
4. CTCS-3级列控系统车地交互流程形式化建模与验证 [J] . 刘中田 ,吕继东 ,孙伟亮 . 北京交通大学学报 . 2011,第002期
5. 客运专线CTCS-3级列控系统无线闭塞中心的建模与验证 [J] . 吕继东 ,唐涛 ,贾昊 . 铁道学报 . 2010,第006期
6. 基于ROPES的CTCS-3级列控系统车载设备的建模 [C] . 徐效宁 . 中国铁道科学研究院通信信号研究所（通号所）建所60周年学术报告会 . 2010
7. CTCS-3级列控系统等级转换场景形式化建模与验证 [A] . 宋丽梅 . 2018

CTCS-3级列控系统规范建模与验证

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅