Title :
Efficient fault injection in QEMU
Author :
Ferraretto, Davide ; Pravadelli, Graziano
Author_Institution :
Univ. of Verona, Verona, Italy
Abstract :
Early analysis of software dependability and fault tolerance properties requires an efficient and effective fault modelling environment before the physical prototype of the target platform is available. In this context, fault injection on cycleaccurate models implemented by means of Hardware Description Languages (HDLs) is a quite common and valid solution. However, cycle-accurate simulation has revealed to be too timeconsuming when the objective is to emulate the effect of soft errors on complex microprocessors. To address this issue, the paper presents an efficient fault injection approach based on QEMU, which is one of the most efficient and popular instructionaccurate emulator for several microprocessor architectures. As main goal, the proposed approach represents a non intrusive technique that minimizes the impact of the fault injection procedure in the emulator performance. Experimental results for both x86 and ARM processors considering permanent and transient/intermittent faults are presented.
Keywords :
fault diagnosis; hardware description languages; microprocessor chips; software fault tolerance; ARM processor; HDL; QEMU; cycle-accurate simulation; emulator performance; fault injection procedure; fault modelling environment; fault tolerance property; hardware description language; intermittent fault; microprocessor architecture; nonintrusive technique; permanent fault; software dependability; transient fault; x86 processor; Computational modeling; Context modeling; Data structures; Ground penetrating radar; Radiation detectors; Registers; Transient analysis;
Conference_Titel :
Test Symposium (LATS), 2015 16th Latin-American
Conference_Location :
Puerto Vallarta
DOI :
10.1109/LATW.2015.7102401