Correlation in Multiversion Software.
T. Jayachandran · Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School) · 1996
It has been established both theoretically [1] and experimentally [2], that independently developed redundant software versions fail dependently. Several probability models that account for this phenomenon of concurrent failures have appeared in the literature. Tomek et al.,[3] proposed an intensity distribution that introduced a specific type of correlated failure pattern viz., pairwise correlation between software modules. They derived the intensity pmf for N = 2 and 3 modules and indicated the desirability of an efficient algorithm to compute the pmf for larger values of N. This paper contains an easily programmable algorithm to generate the pmf for any choice of N.