Resumen

Los errores blandos causados por un solo evento han sido un severo desafío para la computación aeroespacial. La corrupción silenciosa de datos (SDC) es uno de los resultados del error blando. El SDC se produce cuando un programa genera una salida errónea sin ninguna indicación. El SDC es el tipo de resultados más insidioso y muy difícil de detectar. Para abordar este problema, diseñamos e implementamos un sistema basado en invariantes llamado Radish. Los invariantes describen ciertas propiedades de un programa; por ejemplo, el valor de una variable es igual a una constante. Radish extrae primero las invariantes en los puntos clave del programa y las convierte en afirmaciones. A continuación, endurece el programa insertando las aserciones en el código fuente. Cuando se produce un error blando, las aserciones resultan ser falsas en tiempo de ejecución y advierten a los usuarios del error blando. Para aumentar la cobertura de SDC, proponemos además una extensión de Radish, denominada Radish_D, que aplica un mecanismo de duplicación de instrucciones basado en software para proteger las secciones de código no cubiertas. Los experimentos realizados con inyecciones de fallos en la arquitectura muestran que Radish consigue una alta cobertura de SDC con una sobrecarga muy baja. Además, Radish_D proporciona una mayor cobertura de SDC que Radish o la duplicación de instrucciones pura.

• Materias:Minería de datos Aerodinámica Cinemática Vehículo espacial Vehículo
• Subjects:Data mining Aerodynamics Kinematics Space vehicles Automobiles
• Palabras claves:error blando, invariante, corrupción silenciosa de datos, mecanismo de duplicación de instrucciones, cobertura del sdc, punto clave del programa, extensión del rábano, aserción, programa, se produce el error blando
• Keywords:soft error, invariant, silent data corruption, instructions duplication mechanism, coverage of sdc, key program point, extension of radish, assertion, program, soft error occurs