QEMU-based fault injection framework

• Autorzy: Chyłek S. , Goliszewski M.

Warianty tytułu

PL

System wstrzykiwania błędów oparty na QEMU

• Języki publikacji: EN

Abstrakty

EN

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.

PL

Artykuł ten prezentuje QEFI: system wstrzykiwania błędów oparty na QEMU. Przedstawia on podstawowe założenia projektowe stworzonego systemu, jego szczegóły implementacyjne oraz wyniki niektórych eksperymentów dowodzą¬cych jego użyteczności. Nowatorskie aspekty stworzonego oprogramowania zostały wyszczególnione i porównane z pracami znanymi z literatury.

Słowa kluczowe

EN

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

PL

QEMU; wstrzykiwanie błędów; emulacja; systemy wbudowane; Linux; ARM

• Wydawca: Wydawnictwo Politechniki Śląskiej
• Czasopismo: Studia Informatica
• Rocznik: 2012
• Tom: Vol. 33, nr 4
• Strony: 25--42
• Opis fizyczny: Bibliogr. 17 poz.

Twórcy

autor

Chyłek S.

• Warsaw University of Technology, Institute of Computer Science

autor

Goliszewski M.

• Warsaw University of Technology, Institute of Computer Science

Bibliografia

• 1. 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.
• 2. 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.
• 3. 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.
• 4. 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.
• 5. Chylek S.: Collecting program execution statistics with Qemu processor emulator. IMCSIT '09. International Multiconference on Computer Science and Information Technology, 2009, p. 555÷558.
• 6. Gawkowski P., Sosnowski J.: Developing Fault Injection Environment for Complex Experiments. IOLTS '08. 14th IEEE International On-Line Testing Symposium, 2008, p. 179÷181.
• 7. 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.
• 8. 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.
• 9. 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
• 10. 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.
• 11. 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.
• 12. 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.
• 13. 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.
• 14. Sosnowski J., Tymoczko A., Gawkowski P.: Developing distributed system for simulation experiments. Information Systems Architecture and Technology, 2008, p. 263÷274.
• 15. 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.
• 16. Tröger P., Salfner F., Tschirpke S.: Software-Implemented Fault Injection at Firmware Level. Third International Conference on Dependability (DEPEND), 2010, p. 13÷16.
• 17. 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.