Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
XML schema based faultset definition to improve faults injection tools interoperability
Año:2008
Áreas de investigación
  • Telemática
Datos
Descripción
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.
Internacional
Si
Nombre congreso
Third International Conference on Dependability of Computer Systems depCoS-RELCOMEX 2008
Tipo de participación
960
Lugar del congreso
Szklarska Poreba (POLONIA)
Revisores
Si
ISBN o ISSN
978-0-7695-3179-3
DOI
Fecha inicio congreso
25/06/2008
Fecha fin congreso
29/06/2008
Desde la página
39
Hasta la página
46
Título de las actas
Proceedings of International Conference on Dependability of Computer Systems depCoS- RELCOMEX 2008
Esta actividad pertenece a memorias de investigación
Participantes
  • 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)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • 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 2021 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)