D. Andrews-;-andrews, A. Mahmood, and E. J. Mccluskey, Using executable assertions for testing and fault tolerance, Proc. 9th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-9, pp.102-105, 1979.

, AIAA/IEE 6th Digital Avionics Systems Conf, vol.85, pp.346-351, 1984.

T. Anderson, P. A. Barrett, D. N. Halliwell, and M. R. Moulding, Software fault tolerance: an evaluation, IEEE Trans. on Software Engineering, vol.88, issue.11, pp.1502-1510, 1985.

J. Arlat, K. Kanoun, and J. Laprie, Dependability evaluation of software fault-tolerance, Proc. 18th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-18), vol.73, pp.142-147, 1988.

T. F. Arnold-;-e-ammann and J. C. Knight, The concept of coverage and its effect on the reliability model of repairable systems, Proc. 17th, vol.87, pp.251-254, 1973.

, Towards a discipline of reliable computing, IEEE Int. Symp. on Fault Tolerant Computing (FTCS-17), vol.83, pp.701-705, 1979.

A. Avizienis and J. P. Kelly, A Specification-oriented multi-version Software Experiment, Proc. 13th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-13), pp.120-126, 1983.

A. Avizienis and J. P. Kelly, Fault tolerance by design diversity: concepts and experiments, Avi 85 A. Avizienis, vol.17, pp.1491-1501, 1984.

A. Avizienis, J. G. Laprie-;-p, D. G. Bishop, M. Esp, P. Barnes et al., Dependable computing: from concepts to design diversity, Boe 81 B.W. Boehm, Software engineering economics, vol.74, p.69, 1981.

W. G. Bouricius, W. C. Carter, and P. R. Shneider, Reliability modeling techniques for selfrepairing computer systems, Proc. 24th National Conference, vol.28, pp.225-309, 1969.

, Encyclopedia of Software Engineering, vol.1, pp.482-503, 1994.

, Cag 85

A. K. Caglayan and D. E. Eckhardt, Systems approach to software fault tolerance, Proc. 5th AIAA Computers in Aerospace Conf, vol.81, pp.361-369, 1985.

J. T. Caulfield, ;. L. Chen, A. ;. Avizienis, A. K. Eckhardt, J. C. Caglayan et al., An experimental evaluation of software redundancy as a strategy for improving reliability, Proc. 8th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-8), vol.17, pp.79-83, 1972.

M. A. Fischler, P. Firshein, and D. L. Drew, Distinct software: an approach to reliable computing, Proc. 2nd USA-Japan Computer Conf, vol.81, pp.573-579, 1975.

J. R. Garman, The 'bug' heard around the world, ACM Sigsoft Software Engineering notes, vol.6, issue.5, pp.3-10, 1981.

J. N. Gray and ;. J. Gray, A census of Tandem system availability between 1985 and 1990, Proc. 5th Symp. on Reliability in Distributed Software and Database Systems, vol.39, pp.409-418, 1986.

L. Gmeiner, U. Voges, and ;. Hagelin, Software diversity in reactor protection systems: an experiment, Proc. 1st Int. Workshop on Safety of Computer Control Systems (SAFECOMP'79), pp.75-79

, Application of design diversity in computerized control systems (Proceedings of the IFIP WG, vol.10

, of the Series on Dependable Computing and Fault Tolerance, vol.2, pp.11-21, 1986.

J. P. Kelly, A Large Scale Generation Experiment in Multi-version Software: Description and early results, Proc. 18th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-18), vol.84, pp.9-14, 1988.

K. H. Kim, Distibuted execution of recovery blocks; an approach to uniform treatment of hardware and software faults, Proc. 4th Int. Conf. on Distributed Computing Systems, vol.89, pp.526-532, 1984.

K. H. Kim and H. O. Welch, Distibuted execution of recovery blocks; an approach for uniform treatment of hardware and software faults in real-time applications, Proc. 15th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-15), vol.38, pp.135-139, 1985.

, Proc. 16th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-16), vol.88, pp.165-170, 1986.

J. H. Lala, L. S. Alger, ;. Laprie, J. Arlat, C. Beounes et al., Hardware-and software-fault tolerance: definition and analysis of architectural solutions, Hardware and software fault tolerance: a unified architectural approach, pp.444-451, 1987.

D. J. Martin, Dissimilar software in high integrity applications in flight controls, Proceedings AGARD CP-330, vol.86, pp.36-37, 1982.

P. G. Neumann, On hierarchical design of computer systems for critical applications, IEEE Transactions on Software Engineering, issue.9, pp.905-920, 1986.

B. Randell and ;. B. Randell, System structure for software fault tolerance, Proc. 4th Jerusalem Conf. on Information Technomogy (JCIT-4), vol.1, pp.182-191, 1975.
DOI : 10.1007/978-3-642-82470-8_4

B. Randell, Design fault tolerance, Proc. IFIP Symp. on The Evolution of Fault Tolerant Computing, vol.82, pp.110-121, 1986.

L. Remus, Methodology for software development of a digital integrated protection system, vol.19, p.p, 1982.