论文部分内容阅读
在CBTC系统中,存在着多个子系统,子系统之间需要进行数据通信,为了保证CBTC系统的安全性,就需要保证数据通信具有极强的可靠性,基于此项要求,进行了CBTC系统的通信协议设计,而且在对其性能进行分析时,采取形式化分析方法。在本文中,阐述了CBTC系统通信协议的设计,并对设计进行了形式化分析,以便于保证设计完成的通信协议具备安全性。