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).