Advertisement

MEFISTO: A Series of Prototype Tools for Fault Injection into VHDL Models

  • Jean Arlat
  • Jérome Boué
  • Yves Crouzet
  • Eric Jenn
  • Joakim Aidemark
  • Peter Folkesson
  • Johan Karlsson
  • Joakim Ohlsson
  • Marcus Rimén
Part of the Frontiers in Electronic Testing book series (FRET, volume 23)

Abstract

The early assessment of the fault tolerance mechanisms is an essential task in the design of dependable computing systems. Simulation languages offer the necessary support to carry out such a task. Due to its wide spectrum of application and hierarchical features, VHDL is a powerful simulation language. This chapter summarizes the main results of a pioneering effort aimed at developing and experimenting supporting tools for fault injection into VHDL models. The chapter first identifies the possible means to inject faults into a VHDL model. Then, we describe two prototype tools that were developed using each of the main injection strategies previously identified. Finally, some general insights and perspectives are briefly discussed.

Key words

VHDL Fault Simulation Error propagation Evaluation and Testing of Fault Tolerance Mechanisms 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 2003

Authors and Affiliations

  • Jean Arlat
    • 1
  • Jérome Boué
    • 1
  • Yves Crouzet
    • 1
  • Eric Jenn
    • 1
  • Joakim Aidemark
    • 2
  • Peter Folkesson
    • 2
  • Johan Karlsson
    • 2
  • Joakim Ohlsson
    • 2
  • Marcus Rimén
    • 2
  1. 1.LAAS-CNRSToulouseFrance
  2. 2.Chalmers University of TechnologyGöeborgSweden

Personalised recommendations