基于BDD分析配置相依失效的阶段任务系统的边界可靠性

摘要

已有的基于BDD分析阶段任务系统(PMS)可靠性算法都假设系统部件的失效概率在整个寿命周期内是预先确定的和系统运行中的配置变化无关。这种模型假设排除了系统部件失效率是配置相依的情况,这些系统部件的失效率随着配置的变化而变化,从而使得部件的失效概率无法预先确定。本文给出了一个基于BDD分析配置相依失效的阶段任务系统的可靠性的算法,由于失效率的配置依赖性导致的部件失效概率可以有无限多个取值,所以在分析过程中需要采用边界分析的策略。利用边界分析,本文算法能够提供目标系统可靠度的乐观估计和悲观估计。本文通过一个例子说明了具体分析过程。