Lecture Notes in Computer Science Volume 289, 1987, pp 231-243
Date: 10 Jun 2005

The dependability approach to critical computing systems

* Final gross prices may vary according to local VAT.

Get Access

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.