Validation-Based Development of Dependable Systems

  • Authors:
  • Jean Arlat;Jérome Boué;Yves Crouzet

  • Affiliations:
  • -;-;-

  • Venue:
  • IEEE Micro
  • Year:
  • 1999

Quantified Score

Hi-index 0.01

Visualization

Abstract

Early validation of fault tolerance is essential in developing dependable computer systems. The authors have defined a strategy for testing fault tolerance mechanisms, integrated it into the design process, and developed fault-injection techniques for VHDL models.