QEMU-based fault injection framework

Sławomir Chyłek, Marcin Goliszewski

Abstract


This article presents the QEFI: a QEMU-based fault injection framework. It presents basic design principles behind the created framework, its implementation details and some results of experiments conducted to prove its utility. The novelty of the implemented software is outlined and compared with solutions presented in the literature.

Keywords


QEMU; fault injection; emulation; embedded systems; Linux; ARM

Full Text:

PDF

References


Albinet A., Arlat J., Fabre J.: Characterization of the impact of faulty drivers on the robustness of the Linux kernel. International Conference on Dependable Systems and Networks, 2003, p. 867÷876.

Arlat J., Crouzet Y., Karlsson J., Folkesson P., Fuchs E., Leber G. H.: Comparison of physical and software-implemented fault injection techniques. IEEE Transactions on Computers, 2003, Vol. 52, No. 9, p. 1115÷1133.

Buchacker K., Sieh V.: Framework for testing the fault-tolerance of systems including OS and network aspects. Sixth IEEE International Symposium on High Assurance Systems Engineering, 2001, p. 95÷105.

Carreira J., Madeira H., Silva J. G.: Xception: a technique for the experimental evaluation of dependability in modern computers. IEEE Transactions on Software Engineering, Vol. 24, No. 2, p. 125÷136.

Chylek S.: Collecting program execution statistics with Qemu processor emulator. IMCSIT '09. International Multiconference on Computer Science and Information Technology, 2009, p. 555÷558.

Gawkowski P., Sosnowski J.: Developing Fault Injection Environment for Complex Experiments. IOLTS '08. 14th IEEE International On-Line Testing Symposium, 2008, p. 179÷181.

Gil D., Gracia J., Baraza J. C., Gil P. J.: Analysis of the influence of processor hidden registers on the accuracy of fault injection techniques", Ninth IEEE International High-Level Design Validation and Test Workshop, 2004, p. 173÷178.

Gracia J., Saiz L., Baraza J. C., Gil D., Gil P.: Analysis of the influence of intermittent faults in a microcontroller. DDECS 2008. 11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems, 2008, p. 1÷6.

Han A. H., Young-Si Hwang, Young-Ho An, So-Jin Lee, Ki-Seok Chung: Virtual ARM Platform for embedded system developers. ICALIP 2008 International Conference on Audio, Language and Image Processing, 2008, p. 586÷592

Kanawati G. A., Kanawati N. A., Abraham J. A.: FERRARI: a tool for the validation of system dependability properties. FTCS-22 Twenty-Second International Symposium on Fault-Tolerant Computing, 1992, p. 336÷344.

Madeira H., Costa D., Vieira M.: On the emulation of software faults by software fault injection. DSN 2000 Proceedings International Conference on Dependable Systems and Networks, 2000, p. 417÷426.

Murciano M., Violante M.: Validating the dependability of embedded systems through fault injection by means of loadable kernel modules. HLVDT 2007. IEEE International High Level Design Validation and Test Workshop, 2007, p. 179÷186.

Sosnowski J., Tymoczko A., Gawkowski, P.: An Approach to Distributed Fault Injection Experiments. PPAM'07 International conference on Parallel processing and applied mathematics, 2008, p. 361÷370.

Sosnowski J., Tymoczko A., Gawkowski P.: Developing distributed system for simulation experiments. Information Systems Architecture and Technology, 2008, p. 263÷274.

Svenningsson R., Eriksson H., Vinter J., Törngren M.: Model-Implemented Fault Injection for Hardware Fault Simulation. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa), 2010, p. 31÷36.

Tröger P., Salfner F., Tschirpke S.: Software-Implemented Fault Injection at Firmware Level. Third International Conference on Dependability (DEPEND), 2010, p. 13÷16.

Weining Gu, Kalbarczyk Z., Iyer R. K.: Error sensitivity of the Linux kernel executing on PowerPC G4 and Pentium 4 processors. International Conference on Dependable Systems and Networks, 2004, p. 887÷896.




DOI: http://dx.doi.org/10.21936/si2012_v33.n4.91