|国家科技期刊平台
| 注册
首页|期刊导航|铁路通信信号工程技术|基于B方法的轨道交通控制系统配置数据的形式化验证

基于B方法的轨道交通控制系统配置数据的形式化验证

程鹏 王恪铭 王峥 姚文华 韩程

铁路通信信号工程技术2022，Vol.19Issue(5)：7-16,10.
✕
铁路通信信号工程技术2022，Vol.19Issue(5)：7-16,10.DOI:10.3969/j.issn.1673-4440.2022.05.002

基于B方法的轨道交通控制系统配置数据的形式化验证

Formal Verification of Configuration Data of Rail Transit Control System Based on B Method

程鹏 1王恪铭 1王峥 2姚文华 3韩程3

作者信息

  • 1. 西南交通大学系统可信性自动验证国家地方联合工程实验室,成都 610031
  • 2. 西南交通大学计算机与人工智能学院,成都 614202
  • 3. 北京全路通信信号研究设计院集团有限公司,北京 100070
  • 折叠

摘要

关键词

轨道交通控制系统/配置数据/B方法/形式化验证

分类

交通工程

引用本文复制引用

程鹏,王恪铭,王峥,姚文华,韩程..基于B方法的轨道交通控制系统配置数据的形式化验证[J].铁路通信信号工程技术,2022,19(5):7-16,10.

基金项目

国家重点研发计划项目(2016YFB1200602) （2016YFB1200602）

铁路通信信号工程技术

1673-4440

访问量0
|
下载量0
段落导航相关论文