期刊文献+

CTCS-3级列控中心接口平台设计与应用

Design and application of interface platform of CTCS-3 Train Control Center
下载PDF
导出
摘要 本文设计并开发了一套用于测试CTCS-3级列控中心与ZPW-2000轨道电路、PIO继电器、LEU轨旁电子单元之间的数据传输及故障注入的接口平台,主要用于对列控中心软件功能以及列控中心子系统与外围设备接口功能进行验证。 This paper designed and developed an interface platform which was used to test data transmission and fault injection between CTCS-3 and ZPW-2000 track circuit,PIO relays,LEU.The design was mainly used to verify the implementation of the CTCS-3 subsystem function and the software functions and the interface functions between subsystems of Train Control Center and peripherals.
出处 《铁路计算机应用》 2013年第8期46-49,共4页 Railway Computer Application
基金 国家自然科学基金(61273242)
关键词 CTCS-3 列控中心 接口平台 China Train Control System-3 (CTCS-3) Train Control Center interface platform
  • 相关文献

参考文献5

二级参考文献27

  • 1LI KePing GAO ZiYou YANG LiXing.Modeling and simulation for train control system using cellular automata[J].Science China(Technological Sciences),2007,50(6):765-773. 被引量:6
  • 2季学胜,唐涛.CTCS-3级列车运行控制系统综合测试平台研究[J].铁道通信信号,2007,43(7):1-3. 被引量:14
  • 3铁道部.CTCS-3级列控系统总体技术方案(V1.0)(科技运[2008]34号)[Z].北京:铁道部,2008.
  • 4铁道部.列控中心技术规范(v1.0)(科技运[2010]138号)[Z].北京:铁道部,2010.
  • 5库劳里斯,著,金蓓弘,译.分布式系统概念与设计:第4版[M].北京:机械工业出版社,2008.
  • 6Werner Damm,Jochen Klose.Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment[J]. Formal Methods in System Design . 2001 (2)
  • 7Meyer zu Hrste M,Schnieder E.Modeling and simulation of train control systems using Petri nets. FM’99 Formal Methods. World Congress on Formal Methods in the Development of Computing Systems . 1999
  • 8Chiappini A,Cimatti A,Porzia C, et al.Formal specification and development of a safety-critical train management system. Pro- ceedings of the 18th International Conference on Computer Safety. Reliability and Security . 1999
  • 9Hermanns H,Jansen D N,Usenko Y S.From StoCharts to MoDeST: A comparative reliability analysis of train radio communications. WOSP ’05. Proceedings of the 5th International Workshop on Soft- ware and Performance . 2005
  • 10Hirel C,Tuffin B,Trivedi K S.SPNP: Stochastic Petri Nets. Version 6.0. Proceedings of the 11th International Conference on Computer Performance Evaluation——Modeliing Techniques and Tool . 2000

共引文献19

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部