形式化方法在列车运行控制系统中的应用
为了确保列车运行控制系统设计和开发的正确性,比较了仿真、测试和形式化3种能够验证系统设计正确性的方式.根据列车运行控制系统对安全的苛求性,提出了4个与系统安全相关的重要特性,即实时性、混成性、分布(并发)性、反应性,并分析了与这些特性相关的具体形式化方法.通过对每种形式化方法的数学基础和应用范围的分析和归类,给出了各种方法的优势和不足.分析结果表明:任何形式化方法的应用都具有一定的局限性,这是由模型检验和定理证明的本质所决定的;指出了新方法提出、既有方法拓展以及多方法集成将是列车运行控制系统的形式化领域的方向.
交通信息工程、形式化方法、列车运行控制系统、安全苛求系统
10
U283.2(铁路通信、信号)
国家自然科学基金60634010;60736047;国家科技支撑计划2006BAG02B04;轨道交通控制与安全国家重点实验室自主研究课题RCS2008ZZ005;高等学校博士学科点专项科研基金20070004005
2010-05-10（万方平台首次上网日期，不代表论文的发表时间）
共15页
112-126
