高级检索 加入收藏
  • 查询稿件
  • 获取最新论文
  • 知晓行业信息
宋海锋, 唐涛, 李开成, 吕继东. 基于XML的时间自动机状态可达性分析在RBC子系统中的应用[J]. 铁路计算机应用, 2014, 23(6): 10-15.
引用本文: 宋海锋, 唐涛, 李开成, 吕继东. 基于XML的时间自动机状态可达性分析在RBC子系统中的应用[J]. 铁路计算机应用, 2014, 23(6): 10-15.
shu
SONG Haifeng%TANG Tao%LI Kaicheng%LV Jidong, . Reachability analysis of timed automata based on XML in RBC Sub-system[J]. Railway Computer Application, 2014, 23(6): 10-15.
Citation: SONG Haifeng%TANG Tao%LI Kaicheng%LV Jidong, . Reachability analysis of timed automata based on XML in RBC Sub-system[J]. Railway Computer Application, 2014, 23(6): 10-15.
shu

基于XML的时间自动机状态可达性分析在RBC子系统中的应用

Reachability analysis of timed automata based on XML in RBC Sub-system

    摘要
  • 摘要: 时间自动机中的状态可达性分析是模型建立完成之后的一个重要验证工作,大多数时间自动机建模工具均为非开源代码,不能与实际系统进行有机的结合.本文以CTCS-3中的无线闭塞中心(RBC)1为实际系统,提出基于XML的时间自动机状态可达性分析2,实现了建模工具与实际测试平台不同开发环境下的数据交互,为完善整个测试平台在理论方法与实际应用相结合方面提出一个较为可行的方法.

     

    • HTML全文
    • 参考文献(0)
    • 相关文章
    • 施引文献
  • 资源附件(0)

/

返回文章
返回