实时并发系统的形式化建模方法研究

摘要：

随着计算机技术在列车运行控制系统中的应用，安全问题显得越发的重要和复杂，传统的安全系统设计、分析和测试方法难以满足以计算机技术为基础的安全系统的需要。近年来，基于离散数学和形式逻辑理论的形式化方法发展迅速，为解决安全计算机系统设计开发的正确性问题提供了一条可能的途径.针对实时并发系统，提出一种基于时间自动机网络模型的形式化建模方法，以列车超速防护系统为例说明方法的可行性.

关键词： 列车运行控制系统 实时并发系统 安全系统 时间自动机网络模型 形式化建模

作者: 燕飞 唐涛

作者单位: 北京交通大学电子信息工程学院，北京，100044 北京交通大学轨道交通控制与安全国家重点实验室，北京，100044

会议类型: 国内会议

会议名称: 2009年系统仿真技术及其应用学术会议(CCSSTA”2009)

会议地点: 合肥

会议语种:中文

页码: 27-30

在线出版日期: 2009-08-01（万方平台首次上网日期，不代表论文的发表时间）