论文部分内容阅读
容错计算机系统的可用性评估过程中，需要考虑部件相关性的影响。分析了系统可用性建模技术与工具，提出一种利用动态可靠性框图模型评估容错计算机系统可用性的方法及实施步骤。使用广义随机Petri网为模型中包含相关性的部分进行建模，并利用SPNP软件求解。利用该方法分析了一个两模协同容错系统的可用性，验证了方法的有效性。