Options
Data-flow-sensitive fault-space pruning for the injection of transient hardware faults
Publikationstyp
Conference Paper
Date Issued
2021
Sprache
English
Author(s)
Institut
TORE-URI
Start Page
97
End Page
109
Citation
ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2021)
Publisher DOI
Publisher
ACM
In the domain of safety-critical systems, fault injection campaigns on ISA-level have become a widespread approach to systematically assess the resilience of a system with respect to transient hardware faults.
However, experimentally injecting all possible faults to achieve full fault-space coverage is infeasible in practice.
Hence, pruning techniques, such as def/use pruning are commonly applied to reduce the campaign size by grouping injections that surely provoke the same erroneous behavior.
We describe Data-Flow Pruning (DFP), a new data-flow sensitive fault-space pruning method that extends on def/use-pruning by also considering the instructions’ semantics when deriving fault-equivalence sets.
By tracking the information flow for each bit individually across the respective instructions and considering their fault-masking capability, DFP has to plan fewer pilot injections as it derives larger fault-equivalence sets.
Like def/use pruning, DFP is precise and complete and it can be used as a direct replacement/alternative in existing software-based fault-injection tools.
Our prototypical implementation so far considers local fault equivalence for five types of instructions.
In our experimental evaluation, this already reduces the number of necessary injections by up to 18 percent compared to def/use pruning.
However, experimentally injecting all possible faults to achieve full fault-space coverage is infeasible in practice.
Hence, pruning techniques, such as def/use pruning are commonly applied to reduce the campaign size by grouping injections that surely provoke the same erroneous behavior.
We describe Data-Flow Pruning (DFP), a new data-flow sensitive fault-space pruning method that extends on def/use-pruning by also considering the instructions’ semantics when deriving fault-equivalence sets.
By tracking the information flow for each bit individually across the respective instructions and considering their fault-masking capability, DFP has to plan fewer pilot injections as it derives larger fault-equivalence sets.
Like def/use pruning, DFP is precise and complete and it can be used as a direct replacement/alternative in existing software-based fault-injection tools.
Our prototypical implementation so far considers local fault equivalence for five types of instructions.
In our experimental evaluation, this already reduces the number of necessary injections by up to 18 percent compared to def/use pruning.
DDC Class
004: Informatik
Funding Organisations
More Funding Information
We want to thank Horst Schirmeier for his feedback and our anonymous reviewers for their constructive comments and suggestions. This work has been supported by the German Research Foundation (DFG) under the grant no. LO 1719/4-1.