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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    SCIPS: An emulation methodology for fault injection in processor caches


    Contributors:
    Wulf, N (author) / Cieslewski, G (author) / Gordon-Ross, A (author) / George, A D (author)

    Published in:

    Publication date :

    2011-03-01


    Size :

    844109 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Emulation of the processor for the distributed processor/memory system

    Maud, A. / Peterson, J.B. | Tema Archive | 1977


    High-Performance Software Emulation of 1750A Processor

    Kirk Reinholtz, W. / IEEE / AIAA | British Library Conference Proceedings | 1997


    Bit-slice microprocessor emulation of an aerospace processor

    Mersten, G.S. / Oh, S.J. | Tema Archive | 1978


    Emulation-Based Performance Studies on the HPSC Space Processor

    Schwaller, Benjamin / Holtzman, Shaun / George, Alan D. | IEEE | 2019