MEFISTO: A Series of Prototype Tools for Fault Injection into VHDL Models
Book chapter, 2003

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.

Author

Jean Arlat

Jerome Boué

Yves Crouzet

Eric Jenn

Joakim Aidemark

Chalmers, Department of Computer Engineering

Peter Folkesson

Chalmers, Department of Computer Engineering

Johan Karlsson

Chalmers, Department of Computer Engineering

Joakim Ohlsson

Chalmers, Department of Computer Engineering

Marcus Rimén

Chalmers, Department of Computer Engineering

Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation, Kluwer Academic Publishing

177-193
1-4020-7589-8 (ISBN)

Subject Categories

Computer and Information Science

DOI

10.1007/0-306-48711-X_11

ISBN

1-4020-7589-8

More information

Created

10/6/2017