相异性容错软件故障模型

Fault model of diversity fault-tolerant software

针对容错计算领域中由于引入了相异性设计概念,导致传统软件失效模式难以应用的问题,提出了一个用于分析相异性容错软件故障的模型。模型根据各类软件设计故障对系统可靠性的影响,精确定义了相异性容错软件系统中故障的范畴及其划分、以及与系统失效之间的关联关系,在此基础上建立了一个基于功能的故障模型,以描述相异性软件系统的可靠性关系。通过一个通用相异性软件系统为实例,应用故障模型分析了系统可靠性关联关系,建立了与之相对应的故障模式及其可靠性模型,验证了故障模型的实用性。

Diverse designs are used in fault-tolerant computing, which means that the fault modes of traditional single-version software are unsuitable for such diverse systems. A fault model of diversity fault-tolerant software systems is given in this paper to classify design faults based on their relationship to system failures. A reliability analysis case study for a general diversity software system is used to analyze the fault modes of a diverse software system and to model its reliability to verify the practicability of the fault model.