Sesión especial sobre Diseño para tolerancia a fallos y fiabilidad de sistemas empotrados
Motivación:
Establecer un marco de trabajo e interés que aune a investigadores de
áreas como test y verificación de sistemas, diseño de arquitecturas y
modelos orientados a la fiabilidad y la tolerancia a fallos, diseño de
sistemas tolerantes a radiación (en particular sistemas aeroespaciales),
para facilitar la compartición de ideas y la proyección de futuras
líneas de trabajo sobre el tema.
Temas de interés (topics):
- Diseño y/o modelado de sistemas fiables a partir de componentes no confiables
- Arquitecturas y micro-arquitecturas para tolerancia a fallos
- Nuevas estrategias para test y verificación
- Técnicas dinámicas de test y verificación en caliente (on-line)
- Metodologías basadas en software para test y tolerancia a fallos
- Mecanismos de validación de sistemas
- Sistemas autoadaptativos para fiabilidad
- Diseño a nivel de sistema para fiabilidad y verificabilidad
- Compiladores, arquitecturas y sistemas operativos para fiabilidad y tolerancia a fallos
- Técnicas, herramientas y metodologías de diseño de software fiable y tolerante a fallos
- Evaluación de compromisos entre energía/coste/tiempo/memoria con respecto a la fiabilidad
- Modelado de fallos en sistemas multicomponentes
- Modelización y análisis de la fiabilidad de sistemas multiestados
Para cualquier consulta sobre el proceso de envío de
artículos a la sesión, ponerse en contacto con Antonio
Martínez Álvarez (amartinez@dtic.ua.es).