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

作     者：童超 Tong Chao

作者机构：中铁第一勘察设计院集团有限公司 

出 版 物：《铁路通信信号工程技术》 (Railway Signalling & Communication Engineering)

年 卷 期：2010年第7卷第1期

页      码：5-7,15页

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

主 题 词：RBC 时间自动机 UPPAAL 建模验证 

学科分类：0905[农学-林学类] 08[工学] 09[农学] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1673-4440.2010.01.002

馆 藏 号：203234309...