首页> 外文期刊>IEEE Transactions on Reliability >Automated analysis of phased-mission reliability
【24h】

Automated analysis of phased-mission reliability

机译:自动分析阶段任务的可靠性

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

摘要

A method for automated analysis of phased mission reliability which considers the problem in terms of the construction of a continuous-time discrete-state Markov model and uses a standard Markov-chain solution technique that is adapted to the problem of phased missions is presented. The resulting state space is the union of the states in each independent phase, rather than the sum. This results in a model that can be substantially smaller than those required by other methods. A unified framework which is used for defining the separate phases using fault trees and for constructing and solving the resulting Markov model is discussed. The usual solution technique is altered to account for the phased nature of the problem. The framework is described for a previously published, simple three-component, three-phase system. An example in which a hypothetical two-phase application involving a fault-tolerant parallel processor is considered is given. The approach applies where the transition rates (failure and repair rates) are constant and where the phase change times are deterministic.
机译:提出了一种用于分阶段任务可靠性自动分析的方法,该方法在构造连续时间离散状态马尔可夫模型时考虑了该问题,并提出了一种适用于分阶段任务问题的标准马尔可夫链求解技术。产生的状态空间是每个独立阶段中状态的并集,而不是总和。这导致模型可以大大小于其他方法所需的模型。讨论了一个统一的框架,该框架用于使用故障树定义单独的相以及构建和求解所得的马尔可夫模型。更改了常规的解决方法,以解决问题的分阶段性问题。针对先前发布的简单的三组件,三相系统描述了该框架。给出了一个示例,其中考虑了一个涉及容错并行处理器的假设两阶段应用程序。该方法适用于过渡速率(故障和修复率)恒定且相变时间确定的情况。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号