• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Reliability Engineering & System Safety >A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance
【24h】

A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance

机译：在维护不完善的情况下对N模块冗余计算机系统进行安全评估的新建模方法

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

摘要

A large number of safety-critical control systems are based on N-modular redundant architectures, using majority voters on the outputs of independent computation units. In order to assess the compliance of these architectures with international safety standards, the frequency of hazardous failures must be analyzed by developing and solving proper formal models. Furthermore, the impact of maintenance faults has to be considered, since imperfect maintenance may degrade the safety integrity level of the system. In this paper, we present both a failure model for voting architectures based on Bayesian networks and a maintenance model based on continuous time Markov chains, and we propose to combine them according to a compositional multiformalism modeling approach in order to analyze the impact of imperfect maintenance on the system safety. We also show how the proposed approach promotes the reuse and the interchange of models as well the interchange of solving tools.
机译：大量安全关键型控制系统基于N模块化冗余体系结构，在独立计算单元的输出上使用多数投票者。为了评估这些体系结构是否符合国际安全标准，必须通过开发和求解适当的正式模型来分析危险失效的频率。此外，由于不完善的维护可能会降低系统的安全完整性级别，因此必须考虑维护故障的影响。在本文中，我们同时提出了基于贝叶斯网络的投票架构的故障模型和基于连续时间马尔可夫链的维护模型，并建议根据组成多形式主义建模方法将它们组合起来，以分析不完善维护的影响对系统的安全性。我们还将展示所提出的方法如何促进模型的重用和互换以及求解工具的互换。

著录项

  • 来源
    《Reliability Engineering & System Safety》 |2009年第9期|1422-1432|共11页
  • 作者

    Francesco Flammini; Stefano Marrone; Nicola Mazzocca; Valeria Vittorini;

  • 作者单位

    Ansaldo STS Italy, Via Argine 425, Naples, Italy Universita di Napoli 'Federico II', Dipartimento di Informatica e Sistemistica, Via Claudia 21, Naples, Italy ANSALDO STS - Ansaldo Segnalamento Ferroviario S.p.A., Via Nuova delle, Brecce 260, Naples, Italy;

    Seconda Universita di Napoli, Dipartimento di Matematica, Via Vivaldi 43, Caserta, Italy;

    Universita di Napoli 'Federico II', Dipartimento di Informatica e Sistemistica, Via Claudia 21, Naples, Italy;

    Universita di Napoli 'Federico II', Dipartimento di Informatica e Sistemistica, Via Claudia 21, Naples, Italy;

  • 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    safety; N-modular redundancy; bayesian networks; imperfect maintenance; multiformalism modeling;

    机译：安全;N模块化冗余;贝叶斯网络;维护不完善;多元形式主义建模;

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号