Skip to main content

Functional Diversity

  • Chapter
Software Fault Tolerance

Part of the book series: Research Reports ESPRIT ((2850,volume 1))

  • 41 Accesses

Abstract

The limitations posed by fault tolerance applied to software have stimulated the study of different solutions permitting to overcome such problems; functional diversity seems to be one of the most promising ideas in this field. The study of this methodology and of its implications on the development process and the final product constitutes the preliminary step to a deeper study of its impact on the global software system reliability.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. T. Anderson: Can Design Faults be tolerated?. University of Newcastle upon Tyne Technical Report, 1984

    Google Scholar 

  2. A. Avizienis, J. Kelly: Fault Tolerance by Design Diversity: Concepts and Experiments. IEEE Computer, August 1984

    Google Scholar 

  3. A. Avizienis: The N-Version Approach to Fault Tolerant Software. IEEE Trans.on Software Engineering, Dec. 1985

    Google Scholar 

  4. P. Bishop, D. Esp, M. Barnes, et al.: Project on Diverse Software; An Experiment in Software Reliability. Proceedings of Safecomp ‘85, 1985. Pergamon Press

    Google Scholar 

  5. J. Donahue: Complementary Definitions of Programming Language Semantics. Lecture Notes in Computer Science N. 42, 1976, Springer-Verlag

    MATH  Google Scholar 

  6. D.E. Eckhardt, L. D. Lee: A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors. IEEE Transactions on Software Engineering, Dec. 1985

    Google Scholar 

  7. E. Ferro: Appunti di istituzioni di analisi superiore: spazi metrici. Istituto di Matematica di Genova, 1982

    Google Scholar 

  8. J. Knight, N. Leveson: An Experimental Evaluation of the Assumption of Independence in Multiversion Programming. IEEE Transactions in Software Engineering, Vol. SE-12, No 1, January 1986

    Google Scholar 

  9. B.V. Gnedenko: Teoria della probabilità. Editori Riuniti. 1979

    Google Scholar 

  10. I. Guessarian: Algebraic Semantics. Lecture Notes in Computer Science N. 99, 1981, Springer-Verlag

    Google Scholar 

  11. The specification language X. OECD Halden Reactor Project Report

    Google Scholar 

  12. B. Randell: System Structure for Software Fault Tolerance. Proc. of the International Conference on Reliable Software, 1975

    Google Scholar 

  13. K. Scott: Experimental Validation of Six Fault Tolerant Software Reliability Models. IEEE 1983

    Google Scholar 

  14. K. Scott: Investigating Version Dependence in Fault Tolerant Software. IEEE 1984

    Google Scholar 

  15. M.L. Shooman: Software Engineering. Mc Graw Hill, 1983

    Google Scholar 

  16. J. Stoy: Denotational Semantics: the Scott-Strachey approach to Programming Language Theory. MIT Press 1977

    Google Scholar 

  17. F. Trevisan: Appunti di osservazioni e misure. Istituto di Ingegneria Elettrotecnica di Genova, 1972

    Google Scholar 

Download references

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1992 ECSC — EEC — EAEC, Brussels — Luxembourg

About this chapter

Cite this chapter

Burlando, P., Gianetto, L., Mainini, M.T. (1992). Functional Diversity. In: Kersken, M., Saglietti, F. (eds) Software Fault Tolerance. Research Reports ESPRIT, vol 1. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-84725-7_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-84725-7_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55212-3

  • Online ISBN: 978-3-642-84725-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics