• Título: Consecutive Controller Hot Swaps: Mejora para la generación de
  múltiples controladores discretos y sus actualizaciones en tiempo de
  ejecución.
• Directores: Nicolas D’ippolito y Leandro Nahabedian.
• Jurado: Gervacio Perez y Hernan Melgratti.
• Resumen:

Es esperado que muchos sistemas se ejecuten continuamente mientras el
ambiente cambia y los requerimientos evolucionan, por lo tanto las
implementaciones de dichos sistemas deben ser actualizados dinámicamente
para satisfacer los cambios de requerimientos, respetando los cambios del
ambiente. Lo complejo de este paso, es poder determinar en que puntos de la
ejecución previa es seguro hacer la actualización, y si es seguro, como
debería seguir ejecutando el nuevo sistema. A su vez, existe la necesidad
de desarrollar técnicas que permitan actualizar un sistema sin frenar o
interrumpir la ejecución del sistema, incluso, luego de ser actualizado un
vez.
Finalizando, desarrollaremos un casos de estudio utilizando la herramienta
MTSA (Modal Transition System Analyser) que nos permite efectuar la síntesis
de controladores. Este fue tomado de un problema real basado en toma de
decisiones con respecto a la compra de divisas. Como distintos índices
cambian rápidamente, es aconsejable poder actualizar la estrategia de la
compra y venta consecutivas veces para poder obtener mayor rédito.

Palabras claves: Síntesis de controladores; LTS; Actualización dinámica;
Sistemas Adaptables.