T. Anderson, P. A. Barrett, D. N. Halliwell, and M. R. Moulding, Software Fault Tolerance: An Evaluation, IEEE Trans. on Software Eng, vol.11, issue.12, pp.1502-1510, 1985.

A. Avizienis, The N-version Approach to Fault-Tolerant Systems, IEEE Trans. on Software Eng, vol.11, issue.12, pp.1491-1501, 1985.

P. G. Bishop, D. G. Esp, M. Barnes, P. Humphreys, G. Dahl et al., PODS-A Project on Diverse Software, IEEE Trans. on Software Eng, vol.12, issue.9, pp.929-940, 1986.

J. B. Dugan and M. R. Lyu, Dependability Modeling for Fault-Tolerant Software and Systems, Software Fault Tolerance, M. Lyu, pp.109-138, 1995.

D. E. Eckhardt, A. K. Caglayan, J. C. Knight, L. D. Lee, D. F. Mcallister et al., An experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability, IEEE Trans. on Software Eng, vol.17, issue.7, pp.692-702, 1991.

L. Halton, N-Version Design Versus Good Version, IEEE Software, pp.71-76, 1997.

J. P. Kelly, D. E. Eckhardt, M. A. Vouk, D. F. Mcallister, and A. Caglayan, A Large Scale Second Generation Experiment in Multi-version Software: Description and Early Results, Proc. IEEE 18th Int. Symp. on Fault-Tolerant Computing (FTCS-18), pp.9-14, 1988.

J. P. Kelly, T. I. Mcvittie, and W. I. Yamamoto, Implementing Design Diversity to Achieve Fault Tolerance, IEEE Software, pp.61-71, 1991.

J. Laprie, J. Arlat, C. Béounes, and K. Kanoun, Definition and Analysis of Hardware-andSoftware Fault-tolerant Architectures, IEEE Computer Magazine, vol.23, issue.7, pp.39-51, 1990.

J. Laprie, J. Arlat, C. Béounes, and K. Kanoun, Architectural Issues in Software Fault Tolerance, Software Fault Tolerance, pp.47-80, 1995.
URL : https://hal.archives-ouvertes.fr/hal-01982532

P. Traverse, Dependability of Digital Computers on Boards Airplanes, Dependable Computing for Critical Applications, Dependable Computing and Fault-Tolerant Systems, vol.1, pp.133-152, 1987.

, IEEE International Conference on Software Reliability Engineering (ISSRE-99), 1999.

U. Voges, Software Diversity in Computerized Control Systems, Dependable Computing and Fault-Tolerant Systems, vol.2, 1988.