利用时间自动机理论探讨客专RBC控车流程

利用时间自动机理论探讨客专RBC控车流程

基于时间自动机理论,在UPPAAL这种目前最先进的实时系统建模分析验证工具中,对RBC系统消息收发进行分析、建模及验证.最终对RBC系统控车消息收发流程的特性进行验证,对于保证RBC系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义.

作 者： 童超 Tong Chao   作者单位： 中铁第一勘察设计院集团有限公司,西安,710043  刊 名： 铁路通信信号工程技术  英文刊名： RAILWAY SIGNALLING & COMMUNICATION ENGINEERING  年，卷(期)： 2010 7(1)  分类号： U2  关键词： RBC   时间自动机   UPPAAL   建模验证  

【利用时间自动机理论探讨客专RBC控车流程】相关文章：

对不良桑叶处理与利用的探讨04-26

生态恢复理论探讨04-25

全球化理论探讨04-26

磷石膏综合利用现状探讨04-26

我国磷石膏利用途径的探讨04-26

城市污水及其回收利用的技术探讨04-26

十二平均律的理论探讨04-26

磷石膏综合利用途径探讨04-26

引黄灌区水沙的综合利用及探讨04-26

含砷废渣的资源化利用技术探讨04-26