Software fault-tolerance by design diversity DEDIX: A tool for experiments
A. Avižienis, Per Gunningberg, John P. J. Kelly, Rung Tsong Lyu, Lorenzo Strigini, Pascal Traverse, K.S. Tso, Udo Voges · International Conference on Computer Safety, Reliability, and Security · 1986
The use of multiple versions of a computer program, independently designed from a common specification, to reduce the effects of an error is discussed. If these versions are designed by independent programming teams, it is expected that a fault in one version will not have the same behavior as any fault in the other versions. Since the errors in the output of the versions are different and uncorrelated, it is possible to run the versions concurrently, cross-check their results at prespecified points, and mask errors. A DEsign DIversity eXperiments (DEDIX) testbed was implemented to study the influence of common mode errors which can result in a failure of the entire system. The layered design of DEDIX and its decision algorithm are described.