An Empirical Study of the Effectiveness of #x0022;Forcing#x0022; Diversity Based on a Large Population of Diverse Programs

摘要

Use of diverse software components is a viable defence against common-mode failures in redundant software-based systems. Various forms of """"Diversity-Seeking Decisions"""" ("DSDs") can be applied to the process of developing, or procuring, redundant components, to improve the chances of the resulting components not failing on the same demands. An open question is how effective these decisions, and their combinations, are for achieving large enough reliability gains. Using a large population of software programs, we studied experimentally the effectiveness of specific """"DSDs"""" (and their combinations) mandating differences between redundant components. Some of these combinations produced much better improvements in system probability of failure per demand (PFD) than """"uncontrolled"""" diversity did. Yet, our findings suggest that the gains from such """"DSDs"""" vary significantly between them and between the application problems studied. The relationship between DSDs and system PFD is complex and does not allow for simple universal rules (e.g. """"the more diversity the better"""") to apply.