| 利用时间自动机理论探讨客专RBC控车流程 |
| |
| 引用本文： | 童超. 利用时间自动机理论探讨客专RBC控车流程[J]. 铁路通信信号工程技术, 2010, 7(1): 5-7,15 |
| |
| 作者姓名： | 童超 |
| |
| 作者单位： | 中铁第一勘察设计院集团有限公司,西安,710043 |
| |
| 摘 要： | 基于时间自动机理论,在UPPAAL这种目前最先进的实时系统建模分析验证工具中,对RBC系统消息收发进行分析、建模及验证。最终对RBC系统控车消息收发流程的特性进行验证,对于保证RBC系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义。
|
| 关 键 词： | RBc 时间自动机 UPPAAL 建模验证 |
Research on RBC Train Control Procedure of DPL with the Theory of Timed Automata |
| |
| Tong Chao. Research on RBC Train Control Procedure of DPL with the Theory of Timed Automata[J]. Railway Signalling & Communication Engineering, 2010, 7(1): 5-7,15 |
| |
| Authors: | Tong Chao |
| |
| Abstract: | Based on the theory of timed automata,this paper conducts an analysis,modeling,and verification to information send-receive of RBC system with UPPAAL,which is the most advanced real-time system modeling,analyzing,and verification tool at the moment.In the conclusion,the paper verifies the features of the send-receive procedure of train control information of RBC system,which has great signification to ensure the safety of train control procedure of RBC system,shorten the system development cycle,and reduce ... |
| |
| Keywords: | RBC UPPAAL |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
