Lecture Notes in Computer Science Volume 289, 1987, pp 231-243

The dependability approach to critical computing systems

Purchase on Springer.com

$29.95 / €24.95 / £19.95*

* Final gross prices may vary according to local VAT.

Get Access


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.