FIJI: Fault InJection Instrumenter

Abstract

FPGAs are increasingly used in safety-critical applications (e.g., in aerospace and automotive engineering). Safety standards stipulate that implemented countermeasures against run-time faults such as detection and isolation of affected components, automatic reconfiguration, and redundancy mechanisms must be adequately verified. To that end, fault injection tests by various means have been established as a suitable method. For such tests, faults can be provoked by radiation, simulation, or manipulating the design, for example, by inserting additional logic or manipulating the synthesis flow. This work briefly summarizes the various fault injection approaches with a focus on methods that are capable of stressing critical nets of a design running on actual hardware without requiring to re-synthesize. While the state-of-the-art tools can work with complex designs, they often lack controllability of the exact timing of the injection events (which is important to track the system's response on faults in a logic simulation) and/or use a high amount of FPGA resources. To overcome these issues, we propose a resource-saving netlist-based fault injection framework Fault InJection Instrumenter (FIJI) that can target individual nets at test runtime. This paper presents FIJI's work flow, implementation details, and an evaluation in terms of FPGA resources, timing impact, and performance during instrumentation and test execution. The FIJI framework has been made publicly available by the authors under an open-source license.

FIBR-OSS: fault injection model for bug reports in open-source software

“…About injected of distributed system level, researchers in [16] and [17] are work on this level using different methods, where Vedder (2015) [16] applied of Portability based testing method by eveloped the FaultCheck fault injection tool that enables Portability based testing QuickCheck tools to use common fault injection directly on the source code of the complex system. They apply FaultCheck with QuickCheck on both the End to End library and the quadcopter simulator.…”

“…They apply FaultCheck with QuickCheck on both the End to End library and the quadcopter simulator. At (2019), Fibich et al [17] [18] present the FailViz tool (fault injection visualize) implemented for OpenStack by the anomaly detection algorithm, in their approach distributed systems analysis as a black-box collection interacting during service interfaces.…”