Efficient Fault Injection based on Dynamic HDL Slicing Technique

01/24/2020
by   Ahmet Cagri Bagbaba, et al.
0

This work proposes a fault injection methodology where Hardware Description Language (HDL) code slicing is exploited to prune fault injection locations, thus enabling more efficient campaigns for safety mechanisms evaluation. In particular, the dynamic HDL slicing technique provides for a highly collapsed critical fault list and allows avoiding injections at redundant locations or time-steps. Experimental results show that the proposed methodology integrated into commercial tool flow doubles the simulation speed when comparing to the state-of-the-art industrial-grade EDA tool flows.

READ FULL TEXT

page 1

page 2

page 3

research
01/24/2020

Accelerating Transient Fault Injection Campaigns by using Dynamic HDL Slicing

Along with the complexity of electronic systems for safety-critical appl...
research
07/26/2018

FINJ: A Fault Injection Tool for HPC Systems

We present FINJ, a high-level fault injection tool for High-Performance ...
research
08/31/2020

Machine Learning Clustering Techniques for Selective Mitigation of Critical Design Features

Selective mitigation or selective hardening is an effective technique to...
research
10/16/2020

SAIBERSOC: Synthetic Attack Injection to Benchmark and Evaluate the Performance of Security Operation Centers

In this paper we introduce SAIBERSOC, a tool and methodology enabling se...
research
03/07/2023

Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities

Certification through auditing allows to ensure that critical embedded s...
research
03/02/2017

Adapting the DMTCP Plugin Model for Checkpointing of Hardware Emulation

Checkpoint-restart is now a mature technology. It allows a user to save ...
research
03/20/2017

Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems

Cell injection is a technique in the domain of biological cell micro-man...

Please sign up or login with your details

Forgot password? Click here to reset