原文传递
形式化方法在基于通信的列车运行控制系统(CBTC)中的应用研究
| 题名： | 形式化方法在基于通信的列车运行控制系统(CBTC)中的应用研究 |
| 正文语种： | 中文 |
| 作者： | 燕飞 唐涛 |
| 作者单位： | 北京交通大学电子信息工程学院,北京 100044 |
| 关键词： | 铁路安全 列车运行控制 形式化方法 通信 |
| 摘要： | 基于通信的列车运行控制系统(CBTC)作为列车运行控制系统的发展方向,越来越受到人们的关注,它是通信、信号控制、计算机网络技术有机结合的产物,其职责是确保列车安全、高效的运行。由于CBTC和现在计算机技术的紧密结合,传统的安全设计及分析方法已难以满足其要求,迫切需要研究新的系统化安全设计和分析的方法。形式化方法(Formal Methods)是基于离散数学和形式逻辑的一种方法,它采用形式语义符号和工具表述所要设计的计算机系统。并根据系统规范对系统的性质和正确性进行严格证明。文章以列车防护软件的安全设计为例,把形式化方法应用于CBTC的设计开发中,对于提高CBTC的安全性能有着重要的意义。 |
| 会议日期： | 20050701 |
| 会议举办地点： | 北京 |
| 会议名称： | 2005年全国博士生学术论坛——交通运输工程学科 |
| 出版日期： | 2005-07-01 |
| 母体文献： | 2005年全国博士生学术论坛——交通运输工程学科论文集 |
| 分类号： | U283.1 |
检索历史
应用推荐
