• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Computers in Railways X: Computer System Design and Operation in the Railway and other Transit Systems; WIT Transactions on Built Environment; vol.88 >An assessment of hazard probability due to Pentium processor errata in automatic train control applications
【24h】

An assessment of hazard probability due to Pentium processor errata in automatic train control applications

机译：奔腾处理器勘误表在自动列车控制应用中导致的危险可能性评估

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

摘要

The Alcatel automatic train control products make use of a single-board computer that has been designed specifically for the railway environment. The computer is based on the Pentium processor and is extensively used for automatic train operation and automatic train protection functions. It is also used as a security authentication gateway interfacing to the radio-based data communications system.rnThe development of an automatic train control system must be accompanied by a detailed and extensive safety case in order to demonstrate that the required safety integrity level can be obtained. For the Pentium-based processor, the safety case must include the occurrences of errata, or faults in the design and implementation of the processor that are not discovered at the time of manufacture. It may be argued that, since errata are design and manufacturing errors, they are systematic. However, because of the way these faults manifest themselves it could be argued they are random. In fact, for any one processor, there is a random errata discovery process based on the fact that all the processors in use are operating simultaneously with different applications and/or different data. There is a particular probability that one of them will discover a fault, or errata. A statistical model is developed based on an in-depth analysis made of Pentium errata, and assumptions about the number of processors in use over the time period of the analysis. A probability is calculated that previously undiscovered errata will be found in one of the processors in an ATC system, and it is demonstrated to become lower than the required hazard probability well before any such ATC system containing these processors is out into revenue service.
机译：阿尔卡特火车自动控制产品使用专为铁路环境设计的单板计算机。该计算机基于奔腾处理器，广泛用于自动列车运行和自动列车保护功能。它也用作与无线电数据通信系统接口的安全验证网关。rn自动火车控制系统的开发必须伴随着详细而广泛的安全案例，以证明可以达到所需的安全完整性等级。对于基于Pentium的处理器，安全情况必须包括勘误的发生或制造商未发现的处理器设计和实现中的错误。可以说，由于勘误是设计和制造错误，所以它们是系统性的。但是，由于这些故障表现出来的方式，可以认为它们是随机的。实际上，对于任何一个处理器，都有一个随机勘误发现过程，该过程基于以下事实：正在使用的所有处理器都同时与不同的应用程序和/或不同的数据一起运行。其中一个特别有可能发现故障或勘误。基于对Pentium errata的深入分析以及在分析时间内使用的处理器数量的假设，可以开发出统计模型。计算出在ATC系统中的一个处理器中会发现以前未发现的勘误的概率，并且事实证明，在任何包含这些处理器的ATC系统投入使用之前，该概率都已低于所需的危险概率。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号