Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation

1. Front Matter

   Pages i-3

   PDF

2. A First Look at Fault Injection

   1. Fault Injection Techniques

      • Yangyang Yu, Barry W. Johnson

      Pages 7-39

   2. Dependability Evaluation Methods

      • Tomislav Lovric

      Pages 41-48

   3. Soft Errors on Digital Components

      • Riccardo Mariani

      Pages 49-60

3. Hardware-Implemented Fault Injection

   1. Pin-Level Hardware Fault Injection Techniques

      • Pedro Gil, Sara Blanc, Juan José Serrano

      Pages 63-79

   2. Development of a Hybrid Fault Injection Environment

      • Leonardo Impagliazzo, Fabiomassimo Poli

      Pages 81-93

   3. Heavy Ion Induced See in Sram Based FPGAs

      • Marco Ceschia, Marco Bellato, Alessandro Paccagnella

      Pages 95-107

4. Software-Implemented Fault Injection

   1. “Bond”: An Agents-Based Fault Injector for Windows NT

      • Andrea Baldini, Alfredo Benso, Paolo Prinetto

      Pages 111-123

   2. Xception™: A Software Implemented Fault Injection Tool

      • Diamantino Costa, Henrique Madeira, Joao Carreira, Joao Gabriel Silva

      Pages 125-139

   3. MAFALDA: A Series of Prototype Tools for the Assessment of Real Time COTS Microkernel-Based Systems

      • Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez, Frédéric Salles

      Pages 141-156

5. Simulation-Based Fault Injection

   1. VHDL Simulation-Based Fault Injection Techniques

      • Daniel Gil, Juan Carlos Baraza, Joaquín Gracia, Pedro Joaquín Gil

      Pages 159-176

   2. 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 et al.

      Pages 177-193

   3. Simulation-Based Fault Injection and Testing Unsing the Mutation Technique

      • Chantal Robach, Mathieu Scholive

      Pages 195-215

   4. New Acceleration Techniques for Simulation-Based Fault-Injection

      • Fulvio Corno, Luis Entrena, Celia Lopez, Matteo Sonza Reorda, Giovanni Squillero

      Pages 217-230

6. Back Matter

   Pages 231-241

   PDF

Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation intends to be a comprehensive guide to Fault Injection techniques used to evaluate the dependability of a digital system. The description and the critical analysis of different Fault Injection techniques and tools will be authored by key scientists in the field of system dependability and fault tolerance.

• FPGA
• Field Programmable Gate Array
• RAM
• SRAM
• Software
• VHDL
• computer-aided design (CAD)
• embedded systems
• environment
• field-effect transistor
• metal-oxide-semiconductor transistor
• model
• simulation
• single-electron transistor
• static-induction transistor

• Politecnico di Torino, Italy

  Alfredo Benso, Paolo Prinetto

Policies and ethics