首页> 外文期刊>Emerging Topics in Computing, IEEE Transactions on >Analysis of Design Parameters in Safety-Critical Computers
【24h】

Analysis of Design Parameters in Safety-Critical Computers

机译:安全关键计算机中设计参数分析

获取原文
获取原文并翻译 | 示例

摘要

Nowadays, safety-critical computers are extensively used in many civil domains like transportation including railways, avionics, and automotive. In evaluating these safety critical systems, previous studies considered different metrics, but some of safety design parameters like failure diagnostic coverage (C) or common cause failure (CCF) ratio have not been seriously taken into account. Moreover, in some cases safety has not been compared with standard safety integrity levels (IEC-61508: SIL1-SIL4) or even have not met them. Most often, it is not very clear that which part of the system is the Achilles heel and how design can be improved to reach standard safety levels. Motivated by such design ambiguities, we aim to study the effect of various design parameters on safety in some prevalent safety configurations, namely, 1oo2 and 2oo3, where 1oo1 is also used as a reference. By employing Markov modeling, we analyzed the sensitivity of safety to important parameters including: failure rate of processor, failure diagnostic coverage, CCF ratio, test and repair rates. This study aims to provide a deeper understanding on the influence of variation in design parameters over safety. Consequently, to meet appropriate safety integrity level, instead of improving some parts of a system blindly, it will be possible to make an informed decision on more relevant parameters.
机译:如今,安全关键计算机广泛用于许多民事领域,如运输,包括铁路,航空电子设备和汽车。在评估这些安全关键系统时,之前的研究被认为是不同的指标,但是一些安全设计参数,如失败诊断覆盖(c)或常见的原因失败(CCF)比率尚未认真考虑。此外,在某些情况下,在标准安全完整性水平(IEC-61508:SIL1-SIL4)或甚至没有满足它们的情况下,尚未对安全进行安全。最常见的是,这不是很清楚的是,系统的哪个部分是Achilles脚跟以及如何改进设计以达到标准安全水平。通过这种设计歧义的动机,我们的目的是在一些普遍的安全配置中研究各种设计参数的影响,即1OO2和2OO3,其中1OO1也被用作参考。通过采用马尔可夫建模,我们分析了安全对重要参数的敏感性,包括:处理器故障率,失效诊断覆盖率,CCF比率,测试和维修率。本研究旨在对在安全性方面的变化影响方面提供更深入的了解。因此,为了满足适当的安全完整性水平,而不是盲目地改善系统的某些部分,可以对更相关的参数进行明智的决定。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号