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

摘要

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