| 基于模型的CBTC区域控制系统安全软件开发 |
| |
| 引用本文： | 王海峰,杨旭文,刘 朔,刘 超.基于模型的CBTC区域控制系统安全软件开发[J].都市快轨交通,2011,24(4):22-25. |
| |
| 作者姓名： | 王海峰 杨旭文 刘 朔 刘 超 |
| |
| 作者单位： | 北京交通大学电子信息工程学院 北京100044 |
| |
| 基金项目： | 北京市科委项目(D101100049610002) |
| |
| 摘 要： | 传统的软件开发方法不能满足基于通信的列车控制(CBTC)区域控制系统(ZC)的开发需求.结合北京地铁亦庄线研究项目,介绍一种基于模型的系统开发方法,给出ZC系统的软件容错结构,阐述该系统的移动授权和列车管理功能建模方法,并从模型覆盖率分析和形式化验证两方面深入分析系统安全性保障措施.ZC系统的研究项目表明,基于模型的开...
|
| 关 键 词： | 城市轨道交通 基于通信的列车控制 区域控制 基于模型开发 安全苛求 北京地铁亦庄线 |
| 修稿时间： | 2013/12/12 0:00:00 |
Development of Model-based Safety Critical Software for CBTC Zone Control System |
| |
| Wang Haifeng,Yang Xuwen,Liu Shuo,Liu Chao.Development of Model-based Safety Critical Software for CBTC Zone Control System[J].Urban Rapid Rail Transit,2011,24(4):22-25. |
| |
| Authors: | Wang Haifeng Yang Xuwen Liu Shuo Liu Chao |
| |
| Institution: | Wang Haifeng Yang Xuwen Liu Shuo Liu Chao(School of Electronic and Information Engineering,Beijing Jiaotong University,Beijing 100044) |
| |
| Abstract: | Traditional software development methods cannot meet the challenges of the development of CBTC Zone Control system(ZC).Based on engineering practice of Beijing Yizhuang metro line,this paper introduces a model-based development approach.The fault-tolerant architecture of ZC system is presented and the function modeling methods of moving authority and train management are introduced.The model test coverage analysis and formal verification for the safety of ZC model are further explored.Engineering practice o... |
| |
| Keywords: | unban rail transit CBTC(communication-based train control) Zone Control model-based development safety critical Beijing metro Yizhuang line |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《都市快轨交通》浏览原始摘要信息 |
| 点击此处可从《都市快轨交通》下载免费的PDF全文 |
