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.
Publisher
Trans Tech Publications, Ltd.
Reference13 articles.
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.
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).
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献