VIII — Validation

ESEC '87

Volume 289 of the series Lecture Notes in Computer Science pp 231-243


The dependability approach to critical computing systems

  • Jean-Claude LaprieAffiliated withLaas-Cnrs

* 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.