Resumen de Contribución a la validación de la confiabilidad en los sistemas empotrados tolerantes a fallos
Cada vez se utilizan más los sistemas empotrados para el control de aplicaciones críticas, como son los sistemas de control de plantas nucleares, los de aviación o los de automoción. En etos casos, se incluyen en el sistema mecanismos hardware y software para tolerar los posibles fallos que puedan aparecer. Para poder depurar y evaluar la corrección de dichos mecanismos se neceistan herramientas aparopiadas y la Inyección de Fallos se presenta como una solución viable para su implementación.
Se han propuesto muchas técnicas para la inyección de fallos. Estas técnicas se suelen agrupar en tres tipos, las basadas en simulación, las que utilizan un hardware específico (HWIFI del inglés HardWare Implemented Fault Injection) ylas basadas en software (SWIFI, del inglés SoftWare Implemented Fault Injection). Las técnicas basadas en hardware inyectan fallos físicos en el hardware del sistema. Es el último grupo de técnicas se emulan tanto los fallos hardware y sus consecuencias como los fallos de diseño de los programas (fallos software) mediante software.
La utilización de las técnicas SWIFI en los sistemas de tiempo real está limitada por un problema conocido como intrusión temporal. Las limitaciones temporales del sistemas (los plazos de las tareas) se pueden incumplir por culpa de la intrusión adicional que crea la introducción de la instrumetnación de una herramienta de inyección de fallos software. Este es un problema importante que se debe tener en cuenta siempre que se utilicen herramientas SWIFI en un sistema de tiempo real, de manera que se asegure que no se introduce ninguna distorsión temporal en la fase de validación.
En la validación de aplicaciones empotradas, com son los sistemas de automoción, aparece el problema añadido de las limitaciones observabilidad, ya que al aumentar la integración del sistema se dificulta la instrumentación del mismo, agravando el problema.
No conociendo ninguna
