期刊文献+

临时限速服务器安全评估研究 被引量:1

Security Assessment of Temporary Speed Restriction Server
下载PDF
导出
摘要 近年来我国高速铁路飞速发展,越来越多的高速铁路线路投入使用有效的缓解了我国铁路出行的压力。如何保证铁路的安全运行成为了人们亟需研究的问题。临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全直接影响到高速铁路的运营安全。文章结合临时限速服务器的实际运行过程,采用安全性分析软件SIMFIA构建临时限速服务器仿真模型,自动生成系统故障树,并计算失效状态最小割集。根据最小割集可以快速找到故障源,从而达到分析临时限速服务器安全性的目的。 In recent years, with China's rapid development of high speed railways, more and more high speed railway lines have been put into operation effectively, alleviating the pressure on China's railway travel. But frequent railway accidents have caused great threat to people's life and property security. It is urgent to probe into how to ensure the safe operation of the railway. Temporary speed restriction server is an important part of CTCS-3 train control system whose safety directly affects the safe operation of high-speed railway. Combined with the actual operation of the temporary speed restriction server process, by use of the security analysis software –SIMFIA to build simulation model of temporary speed restriction server, this study automatically generated the fault tree of the system, and calculated the minimal cut sets of the failed state. According to the fact that minimum cut sets can quickly find fault source, it analyzed the security of temporary speed restriction server.
出处 《华东交通大学学报》 2016年第3期68-73,共6页 Journal of East China Jiaotong University
基金 江西省研究生创新专项资金项目(YC2014-S246) 江西省教育厅科技项目(GJJ14371)
关键词 临时限速服务器 安全评估 最小割集 SIMFIA 建模仿真 temporary speed restriction server security assessment minimum cut set SIMFIA modeling and simulation
  • 相关文献

参考文献6

二级参考文献69

  • 1王立伟,汪健甄.国外军用飞机平视显示器的发展[J].红外与激光工程,2007,36(z2):578-582. 被引量:21
  • 2李春亮.民航飞机平视显示器[J].电光与控制,1995,2(1):31-41. 被引量:1
  • 3常崇义,王成国,马大炜,张波.2万t组合列车纵向力计算研究[J].铁道学报,2006,28(2):89-94. 被引量:88
  • 4陈大名,张泽伟.铁路货车新技术[M].北京:中国铁道出版社,2004.
  • 5ALUR R, DILL D L. A theory of timed automata[J] Theoretical Computer Science, 1994, 126 : 183-235.
  • 6OLDEROG E R, DIERKS H. Real-time systems[M] London: Cambridge University Press, 2008: 137-146.
  • 7XU Ke, PATrERSSON P, SIERSZECKI K. Verification of COMDES-II systems using UPPAAL with model transformation[C]// The 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. Los Alamitos: IEEE Computer Society, 2008 : 153-160.
  • 8HESSEL A, LARSEN K G, MIKUCIONIS M. Testing real-time systems using UPPAAL[ J]. Lecture Notes in Computer Science, 2008, 4949 : 77-117.
  • 9BEHRMANN G, LARSEN K G. UPPAAL-present and future [ C ] // Proceedings of the 40th IEEE Conference on Decision and Control. New York: IEEE, 2001: 2881-2886.
  • 10铁道部科学技术司,铁道部运输局.CTCS-3级列控系统标准规范系列:客运专线列控系统临时限速技术规范[M].北京:中国铁道出版社,2008:6-9,27-30.

共引文献38

同被引文献10

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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