The dependability approach to critical computing systems

  • Jean-Claude Laprie
VIII — Validation

DOI: 10.1007/BFb0022116

Part of the Lecture Notes in Computer Science book series (LNCS, volume 289)
Cite this paper as:
Laprie JC. (1987) The dependability approach to critical computing systems. In: Nichols H., Simpson D. (eds) ESEC '87. ESEC 1987. Lecture Notes in Computer Science, vol 289. Springer, Berlin, Heidelberg

Abstract

Critical computing systems are considered from the dependability viewpoint. A framework for the design and validation of critical computing systems is derived from the interpretation of the quantified objectives assigned to safety-related computing systems in terms of dependability measures (especially failure rate). This framework associates design diversity together with formal verification and reliability calculations for both hardware and software.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1987

Authors and Affiliations

  • Jean-Claude Laprie
    • 1
  1. 1.Laas-CnrsToulouseFrance

Personalised recommendations