Tesis doctoral de Pedro Yuste Pérez
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
Datos académicos de la tesis doctoral «Contribución a la validación de la confiabilidad en los sistemas empotrados tolerantes a fallos«
- Título de la tesis: Contribución a la validación de la confiabilidad en los sistemas empotrados tolerantes a fallos
- Autor: Pedro Yuste Pérez
- Universidad: Politécnica de Valencia
- Fecha de lectura de la tesis: 15/03/2004
Dirección y tribunal
- Director de la tesis
- Gil Vicente Pedro Joaquin
- Tribunal
- Presidente del tribunal: rafael Ors carot
- Antonio Pérez ambite (vocal)
- ángel Sebastiá cortés (vocal)
- gabriel Jiménez moreno (vocal)