Research on RBC Train Control Procedure of DPL with the Theory of Timed Automata
Author(s): TONG Chao
Pages: 5-7,15
Year: 2010 Issue: 1
Journal: Railway Signalling & Communication Engineering
Keyword: UPPAAL; 建模验证;
Abstract: 基于时间自动机理论,在UPPAAL这种目前最先进的实时系统建模分析验证工具中,对RBC系统消息收发进行分析、建模及验证.最终对RBC系统控车消息收发流程的特性进行验证,对于保证RBC系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义.
Pages: 5-7,15
Year: 2010 Issue: 1
Journal: Railway Signalling & Communication Engineering
Keyword: UPPAAL; 建模验证;
Abstract: 基于时间自动机理论,在UPPAAL这种目前最先进的实时系统建模分析验证工具中,对RBC系统消息收发进行分析、建模及验证.最终对RBC系统控车消息收发流程的特性进行验证,对于保证RBC系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义.
Related Articles