• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Computers in Railways X: Computer System Design and Operation in the Railway and other Transit Systems; WIT Transactions on Built Environment; vol.88 >Automatic train controller safety simulation
【24h】

Automatic train controller safety simulation

机译：自动火车控制器安全模拟

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Nowadays, we are observing an increased demand for better and safer mass transport systems. The supervision and control of these systems is made through an architecture known as Automatic Train Controller (ATC). The use of processors in ATC provides new challenges in a safety analysis. A typical railway system has a Speed-Distance Profile Generator that determines the maximum allowed speed in each track circuit. Dangerous situations are verified through the relative positioning and speeds between trains, switching machine positioning and other restrictions from operational commands generated by the ATC. Independent Safety Auditors should consider the failure modes of hardware and software in use. The safety analysis should consider alternative techniques to complete the complex task of evaluating how safe is the use of the processor and its associated software. Therefore, the use of simulation can improve and increase safety analysis, searching for fault states that could not be found in a static analysis. The main goal of this paper is to describe the development of a tool that simulates the behaviour of trains' movement in a subway system, with boolean expressions. The set of boolean expressions coordinates all the movements in a subway line and the simulation provides the possibility to find out lack of safety, considering different combinations in those boolean expressions. Another important goal is to simulate equipment faults in order to investigate problems not visible in a static analysis or even in a practical field test. Preliminary results have shown that the use of a simulator to execute boolean expressions offers a great variety of tests, allowing the detection of unsafe situations, complementing software tests validation in a final release. Through simulation, it is possible to observe the behaviour of simulated objects in specific internal points which improves the completeness in safety analysis.
机译：如今，我们注意到对更好，更安全的大众运输系统的需求不断增长。这些系统的监督和控制是通过称为自动火车控制器（ATC）的体系结构进行的。在ATC中使用处理器给安全分析带来了新的挑战。典型的铁路系统具有一个速度距离分布发生器，该发生器确定每个轨道电路中的最大允许速度。通过列车之间的相对位置和速度，开关机的位置以及ATC产生的操作命令的其他限制，可以验证危险情况。独立安全审核员应考虑所使用的硬件和软件的故障模式。安全分析应考虑其他技术，以完成评估处理器及其相关软件使用的安全性这一复杂任务。因此，使用仿真可以改善和增加安全性分析，搜索在静态分析中找不到的故障状态。本文的主要目的是用布尔表达式描述一种工具的开发，该工具可模拟地铁系统中火车的行驶行为。布尔表达式集可协调地铁线路中的所有运动，考虑到布尔表达式中的不同组合，模拟提供了发现缺乏安全性的可能性。另一个重要目标是模拟设备故障，以调查在静态分析甚至是实际现场测试中不可见的问题。初步结果表明，使用模拟器执行布尔表达式可以提供多种测试，从而可以检测到不安全的情况，并在最终版本中补充了软件测试的有效性。通过仿真，可以观察特定内部点上仿真对象的行为，从而提高安全性分析的完整性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号