Due to the high level of radiation endured by space systems, fault-tolerant verification is a critical design step for these systems. Space-system designers use fault-injection tools to introduce system faults and observe the system's response to these faults. Since a processor's cache accounts for a large percentage of total chip area and is thus more likely to be affected by radiation, the cache represents a key system component for fault-tolerant verification. Unfortunately, processor architectures limit cache accessibility, making direct fault injection into cache blocks impossible. Therefore, cache faults can be emulated by injecting faults into data accessed by load instructions. In this paper, we introduce SPFI-TILE, a software-based fault-injection tool for many-core devices. SPFI-TILE emulates cache fault injections by randomly injecting faults into load instructions. In order to provide unbiased fault injections, we present the cache fault-injection methodology SCIPS (Smooth Cache Injection Per Skipping). Results from MATLAB simulation and integration with SPFI-TILE reveal that SCIPS successfully distributes fault-injection probabilities across load instructions, providing an unbiased evaluation and thus more accurate verification of fault tolerance in cache memories.
SCIPS: An emulation methodology for fault injection in processor caches
2011-03-01
844109 byte
Conference paper
Electronic Resource
English
Emulation of the processor for the distributed processor/memory system
Tema Archive | 1977
|High-Performance Software Emulation of 1750A Processor
British Library Conference Proceedings | 1997
|Bit-slice microprocessor emulation of an aerospace processor
Tema Archive | 1978
|