期刊文献+

浅析列控安全计算机平台测试方法

下载PDF
导出
摘要 列车是我国的主要交通系统,伴随着近年来高铁、动车、磁悬浮等新兴列车的出现及投入使用,相信列车在我们生活中扮演的角色将会越来越重要。现阶段我国已经建立起了完善的列车运行网络,各列车组有条不紊的沿着各自预设的轨迹安全运行,这一切都得益于列控安全计算机平台。它就像大脑枢纽一样控制着列车的行驶速度以及运行轨迹。目前,国内外有多种测试列控计算机平台安全性的方法,而且基本已运行平稳。但列车在不断快速发展,这就对列控安全计算机平台提出了更高的要求。很多学者均对此进行研究,现已形成了多种计算机平台安全性测试方法。文章主要介绍混合测试方法,文中详细描述了该方法的理论原理、核心技术以及现实应用。
作者 刘蜊
出处 《信息通信》 2019年第10期115-116,共2页 Information & Communications
  • 相关文献

参考文献4

二级参考文献57

  • 1周亚,张艳.基于虚拟仪器的电路板测试系统[J].制导与引信,2009,30(1):56-60. 被引量:4
  • 2马连川,高倍力.一种高安全、容错控制计算机的设计与实现[J].中国安全科学学报,2004,14(8):101-105. 被引量:12
  • 3李晓山,周巢尘.时段演算综述[J].计算机学报,1994,17(11):842-851. 被引量:10
  • 4王猛,宁滨,马连川.基于COTS的安全计算机系统[J].铁道通信信号,2007,43(3):56-58. 被引量:6
  • 5CLARKE E M, GRUMBERG O, PELED D. Model Checking[M]. Cambridge: The MIT Press, 2000.
  • 6EN 50129: 2002, railway applications-communication, signailing and processing systems-safety related electronic systems for signalling[S].
  • 7IEC 61508-1 : 1997, functional safety of electrical/electronic/ programmable electronic safety-related systems[S].
  • 8ZIMMERMANN A, HOMMEL G. A train control system case study in model-based real time system design[C] // IEEE. Proceedings of the 17th International Symposium on Parallel and Distributed Processing. Washington DC: IEEE, 2003:118-126.
  • 9ZIMMERMANN A, HOMMEL G. Towards modeling and evaluation of ETCS real-time communication and operation[J]. The Journal of Systems and Software, 2005, 77(1): 47-54.
  • 10MEYER R. Model checking von phasen event-automaten bezuglieh duration calculus formeln mittels testautomaten [D]. Oldenburg: Universittit Oldenburg, 2005.

共引文献40

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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