形式化方法在列车运行控制系统中的应用
作者机构：北京交通大学轨道交通控制与安全国家重点实验室北京100044 铁道部科学技术司北京100844
基 金：国家自然科学基金项目(60634010 60736047) "十一五"国家科技支撑计划项目(2006BAG02B04) 轨道交通控制与安全国家重点实验室自主研究课题(RCS2008ZZ005) 高等学校博士学科点专项科研基金项目(20070004005)
出 版 物：《交通运输工程学报》 (Journal of Traffic and Transportation Engineering)
年 卷 期：2010年第10卷第1期
页 码：112-126页
摘 要：为了确保列车运行控制系统设计和开发的正确性,比较了仿真、测试和形式化3种能够验证系统设计正确性的方式。根据列车运行控制系统对安全的苛求性,提出了4个与系统安全相关的重要特性,即实时性、混成性、分布(并发)性、反应性,并分析了与这些特性相关的具体形式化方法。通过对每种形式化方法的数学基础和应用范围的分析和归类,给出了各种方法的优势和不足。分析结果表明:任何形式化方法的应用都具有一定的局限性,这是由模型检验和定理证明的本质所决定的;指出了新方法提出、既有方法拓展以及多方法集成将是列车运行控制系统的形式化领域的方向。
主 题 词：交通信息工程 形式化方法 列车运行控制系统 安全苛求系统
学科分类：08[工学] 082302[082302] 0823[工学-农业工程类]
核心收录：
D O I：10.19818/j.cnki.1671-1637.2010.01.020
馆 藏 号：203139445...
