Title: XML schema based fault set definition to improve fault injection tools interoperability

Authors: Antonio Da Silva, Jose F. Martinez, Alberto Gonzalez-Calero, Lourdes Lopez, Ana B. Garcia, Vicente Hernandez

Addresses: Department of Telematics' Engineering and Architectures, E.U.I.T. de Telecomunicacion, Universidad Politecnica de Madrid, Campus Sur, Crta Valencia km 7, 28031, Madrid, Spain. ' Department of Telematics' Engineering and Architectures, E.U.I.T. de Telecomunicacion, Universidad Politecnica de Madrid, Campus Sur, Crta Valencia km 7, 28031, Madrid, Spain. ' Department of Telematics' Engineering and Architectures, E.U.I.T. de Telecomunicacion, Universidad Politecnica de Madrid, Campus Sur, Crta Valencia km 7, 28031, Madrid, Spain. ' Department of Telematics' Engineering and Architectures, E.U.I.T. de Telecomunicacion, Universidad Politecnica de Madrid, Campus Sur, Crta Valencia km 7, 28031, Madrid, Spain. ' Department of Telematics' Engineering and Architectures, E.U.I.T. de Telecomunicacion, Universidad Politecnica de Madrid, Campus Sur, Crta Valencia km 7, 28031, Madrid, Spain. ' Department of Telematics' Engineering and Architectures, E.U.I.T. de Telecomunicacion, Universidad Politecnica de Madrid, Campus Sur, Crta Valencia km 7, 28031, Madrid, Spain

Abstract: Software implemented fault injection tools (SWIFI) use fault injectors to carry out the fault injection campaign defined in a GUI-based application. However, the communication between the fault injector and the application is defined in an ad-hoc manner. This paper describes an XML schema formalisation approach for the definition of fault sets which specify low level memory and/or register value corruptions in embedded microprocessor-based systems and resource usage faults in host based systems. Through this proposed XML schema definition, different injectors could be used to carry out the same fault set injection. To validate this approach an experimental tool called Exhaustif®, consisting of a GUI Java application for defining the fault sets and injection policies, one injector for Windows hosts systems and two injectors for Sparc and i386 architectures under RTEMS have been developed.

Keywords: critical systems; XML schema; fault injection; fault triggers; experiment reproducibility; critical computing; interoperability; fault set definition; low level memory; register value corruption; embedded systems; microprocessor-based systems; resource usage faults; host based systems.

DOI: 10.1504/IJCCBS.2010.031716

International Journal of Critical Computer-Based Systems, 2010 Vol.1 No.1/2/3, pp.220 - 237

Published online: 21 Feb 2010 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article