A Fault Injection System Based on QEMU Simulator and Designed for BIT Software Testing

Abstract:

An important step in the development of dependable systems is the validation of their fault tolerance properties. Fault injection has been widely used for this purpose. This paper presents a simulator implemented fault injection and monitoring environment based on the QEMU platform, called BitVaSim, which is targeted for the embedded development boards equipped with PowerPC or ARM processor together with Built-In Test software operating environment.BitVaSim takes advantage of simulation and do no harm or irruption to either the real hardware or the software, in addition, all the simulated parts are reachable so that more fault modes are available to achieve.BitVaSim uses abstract key-value pairs to describe the functional fault modes, and then simulates the hardware board as while as realistic faults incurred by hardware into the simulator, in order to monitor the activation of the faults and their impact on the target system especially the BIT system behavior in detail. Fault injection interfaces are configured to implement failure mode matching and fault conditions triggering to inject faults on demand in simulator runtime.Faults injected by BitVaSim can affect any process running on the target system (including the kernel), and it is possible to inject faults in applications for which the source code is not available.Experimental results are presented to demonstrate the accuracy and potential of BitVaSim in the evaluation of the dependability properties of the complex computer systems and the BIT system.

• Periodical: Applied Mechanics and Materials (Volumes 347-350)
• Pages: 580-587
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.347-350.580
• Online since: August 2013
• Authors: Yi Li, Ping Xu, Han Wan
• Keywords: Built-in Test, Fault Injection, Fault Modeling, QEMU, Simulator, Software Testing

References

[1] Wang Yichen, Xu Ping. Build-In-Test Design and Test for Embedded Software,. Computer Engineering. 2009, Vol. 35, No. 17.

[2] Xu Ping, Kang Rui. The Research of Fault Injection System's Framework in the Testability Experiment Validation,. Control Technology. 2004, 23(8): 12-14.

[3] Haissam Ziade, Rafic Ayoubi, Raoul Velazco. A Survey on Fault Injection Techniques,. The International Arab Journal of Information Technology, Vol. 1, No. 2, July (2004).

[4] Mario Garcia Valderas, Marta Portela Garcia, Raul Fernamdez Cardenal, Celia Lopez Ongil, Luis Entrena, Advanced Simulation and Emulation Techniques for Fault Injection,. IEEE Int. Symp. Industrial Electronics ISIE 2007 (2007), pp.3339-3344.

DOI: 10.1109/isie.2007.4375151

[5] Jean Arlat, Yves Crouzet, Johan Karlsson, Peter Folkesson, Emmerich Fuchs, Günther H. Leber. Comparison of Physical and Software-Implemented Fault Injection Techniques,. IEEE TRANSACTIONS ON COMPUTERS, VOL. 52, NO. 9, SEPTEMBER (2003).

DOI: 10.1109/tc.2003.1228509

[6] Sun Junzhao, Wang Jianying, Yang Xiaozong. The Present Situation for Research of Fault Injection Methodology and Tools,. JOURNAL OF ASTRONAUTICS. Vol. 22, No. 1, Jan. (2001).

[7] Mei-Chen Hsueh, Timothy K. Tsai, Ravishankar K. Iyer. Fault Injection Techniques and Tools,. IEEE Journals, Volume: 30, Issue: 4. (1997).

DOI: 10.1109/2.585157

[8] Sand. Matthias, Potyra. Stefan, Sieh. Volkmar. Deterministic High-Speed Simulation of Complex Systems Including Fault-Injection,. In: Kaaniche, Mohamed (Ed. ): Proc. of the 39th Intern. Conf. on Dependable Systems and Networks(DSN 2009), Estoril, Portugal, 29. 06. - 02. 07. 2009). 2009, pp. k. A.

DOI: 10.1109/dsn.2009.5270335

[9] Michael Le, Andrew Gallagher, Yuval Tamir. Challenges and Opportunities with Fault Injection in Virtualized Systems,. First International Workshop on Virtualization Performance: Analysis, Characterization, and Tools Austin, Texas, April (2008).

[10] QEMU User Manual. Website, 2012. http: /wiki. qemu. org/Manual.

[11] Fabrice Bellard. QEMU, a Fast and Portable Dynamic Translator,. USENIX 2005 Annual Technical Conference, FREENIX Track, Pp. 41–46 of the Proceedings.

[12] A. da Silva, J.F. Martinez, L. Lopez, A. B. Garcia, V. Hernandez. XML Schema based Faultset Definition to Improve Faults Injection Tools Interoperability,. Third International Conference onDependability of Computer Systems, 2008. Digital Object Identifier: 10. 1109/DepCoS-RELCOMEX. 2008. 26. Publication Year: 2008, Page(s): 39-46.

DOI: 10.1109/depcos-relcomex.2008.26

[13] Charles R. Yount, Daniel P. Siewiorek. A Methodology for the Rapid Injection of Transient Hardware Errors,. IEEE Transactions on Compters, Vol. 45, No. 8, August (1996).

DOI: 10.1109/12.536231