Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
XML schema based faultset definition to improve faults injection tools interoperability
Year:2008
Research Areas
  • Telematics
Information
Abstract
This paper describes an XML schema formalization approach for the definition of basic fault sets which specify memory and/or register value corruption in microprocessor-based systems. SWIFI (Software Implemented Fault Injection) tools 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. Through this proposed XML Schema definition different injectors could be used to carry out the same fault set injection. To validate this approach floating point register and memory corruptions with temporal triggers and routine interception mechanisms to carry out argument and return value, corruption has been considered. Moreover, an experimental tool called Exhaustif®, consisting of a GUI Java application for defining the fault sets and injection policies and two injectors for SPARC and i386 architectures under RTEMS, has been developed. The XML-based approach improves the interoperability between SWIFI tools by uncoupling the injectors from the experiment manager in charge of the fault campaign.
International
Si
Congress
Third International Conference on Dependability of Computer Systems depCoS-RELCOMEX 2008
960
Place
Szklarska Poreba (POLONIA)
Reviewers
Si
ISBN/ISSN
978-0-7695-3179-3
Start Date
25/06/2008
End Date
29/06/2008
From page
39
To page
46
Proceedings of International Conference on Dependability of Computer Systems depCoS- RELCOMEX 2008
Participants
  • Autor: Antonio Da Silva Fariña (UPM)
  • Autor: Vicente Hernandez Diaz (UPM)
  • Autor: Ana Belen Garcia Hernando (UPM)
  • Autor: Jose Fernan Martinez Ortega (UPM)
  • Autor: M. Lourdes Lopez Santidrian (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Sistemas Telemáticos para la Sociedad de la Información y el conocimiento
  • Departamento: Ingeniería y Arquitecturas Telemáticas
S2i 2020 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)