CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

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

Jean Arlat ; Jerome Boué ; Yves Crouzet ; Eric Jenn ; Joakim Aidemark (Institutionen för datorteknik) ; Peter Folkesson (Institutionen för datorteknik) ; Johan Karlsson (Institutionen för datorteknik) ; Joakim Ohlsson (Institutionen för datorteknik) ; Marcus Rimén (Institutionen för datorteknik)
Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation, Kluwer Academic Publishing p. 177-193. (2003)
[Kapitel]

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.



Denna post skapades 2013-05-23.
CPL Pubid: 177262

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för datorteknik (2002-2004)

Ämnesområden

Data- och informationsvetenskap

Chalmers infrastruktur