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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    SCIPS: An emulation methodology for fault injection in processor caches


    Beteiligte:
    Wulf, N (Autor:in) / Cieslewski, G (Autor:in) / Gordon-Ross, A (Autor:in) / George, A D (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    01.03.2011


    Format / Umfang :

    844109 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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 Archiv | 1978


    Emulation-Based Performance Studies on the HPSC Space Processor

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