1 / 9

WP4 Algorithms, Tools, and Fault Injection

WP4 Algorithms, Tools, and Fault Injection. Fault Injection Jonny Vinter, SP. Fault Injection. Fault injection is a way to experimentally validate dependability of computer systems Accelerates occurrences of faults in the system Main purpose is to evaluate and debug error handling mechanisms

april
Télécharger la présentation

WP4 Algorithms, Tools, and Fault Injection

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. WP4Algorithms, Tools, and Fault Injection Fault Injection Jonny Vinter, SP

  2. Fault Injection • Fault injection is a way to experimentally validate dependability of computer systems • Accelerates occurrences of faults in the system • Main purpose is to evaluate and debug error handling mechanisms • Used at various abstraction levels and phases of the development process • Fault injection is mandatory in safety standard IEC 61508 when required diagnosis coverage is at least 90% • IEC 61508 adapted by the automotive industry as ISO WD 26262

  3. Mutation testing vs. FI (some differences) Mutation testing (SW) • Aim: Fault removal (test case assessment) • Pre-runtime • Remove faults during development Fault injection (HW, SW, Sys.) • Aim: Fault tolerance • Run-time • Handle residual faults and physical faults during operation

  4. Common FI Classification in the Literature • Fault injection is traditionally used for emulating hardware faults • Techniques are normally divided into: • Simulation-based fault injection (SBFI) where faults are injected into hardware models (e.g. VHDL models) • Physical fault injection (PhFI) where faults are injected into an actual physical system or prototype • Examples Heavy-ion, Pin-level, SCIFI, SWIFI, …

  5. FI Classification in MOGENTES • To avoid focusing only on the target for fault injection, the classification presented in the MOGENTES survey is instead based on how fault injection mechanisms are implemented. • Techniques are thus in MOGENTES divided into: • Hardware-implemented fault injection (HIFI) • Software-implemented fault injection (SWIFI) • Model-implemented fault injection (MIFI)

  6. Fault Injection in MOGENTES

  7. FI Tools Using Formal/Experimental Methods

  8. MODIFI –Overview • Fault injection in Matlab/Simulink blocks and signals • Several HW fault models supported • Several fault timing properties supported • Easy-to-use GUI • Using Matlab language

  9. Hardware-Implemented FI Platform • Prototype board from HighTec(http://www.hightec-rt.com) • Infineon TriCore 1796 microcontroller • Debugging either via: • Lauterbach debugger (DECOS) • Tool chain “free” for non-commercial research • Development platform • GNU C/C++ compiler • IDE (target connection, debug) • Real-time OS (PXROS)

More Related