论文部分内容阅读
基于通信的列车运行控制系统（ Communication Based Train Control System ， CBTC ）是完全基于移动闭塞的列车控制系统，使得列车可以在更短的运行间隔内实行安全运行。为提高CBTC系统设计的安全性，必须对CBTC系统的行为进行建模验证。本文将扩展的MSC-范畴MSC应用于CBTC系统形式化建模，增强了CBTC系统形式化建模的准确性，提高CBTC系统设计的安全性。