OCD-FI, On-Chip Debugging and Fault Injection for validating microprocessor based dependable systems

Abstract

This paper proposes a set of modifications to theon-chip debugging infrastructures present in manyactual microprocessor cores, with the objective ofsupporting the validation and verification steps offault-tolerant mechanisms through fault injectioncampaigns. A synthesisable microprocessor core forprogrammable components was used as a targetsystem an. a debugging infrastructure compliantwith the NEXUS 5001 proposed standard for onchipdebugging was implemented on this target. Toimprove the process of real-time memory faultinjection, an upgraded infrastructure designated asOn-Chip Debugging and Fault Injection (OCD-FI)was developed. The complete system was analysedin terms of area overhead and fault injectioncapabilities and performance. All elements weredesigned as synthesizable VHDL modules andevaluated in simulation

    Similar works