Charla de Borrachos

Título: ¿Ud. cree en Internet Mendieta? -Controlar o reventar, don Inodoro.
Modelos y simuladores en tiempo real para control de performance en redes de datos

Disertante: Dr. Rodrigo Castro

Fecha: Viernes 16 de Diciembre de 2011

Cita: Aula 3 Pab I a las 12:30 (12:30 empieza picada, unos minutos después la charla)

Resumen:
Internet es la pieza de ingeniería a gran escala más exitosa desde la invención de la computadora digital. Durante 40 años incrementó su población en aproximadamente 7 órdenes de magnitud, escalando con una robustez sorprendente. Gran parte del éxito se debe a la aplicación simultánea de diversos principios de control distribuido, provenientes de distintas disciplinas, para el control de performance de flujos de paquetes.

Sin embargo, debido la enorme magnitud del "sistema real", es cada vez más difícil innovar para proveer mejor performance y calidad de servicio. Las nuevas estrategias de control se enfrentan con problemas de credibilidad: los algoritmos no pueden verificarse a la escala requerida, provienen de comunidades heterogéneas y se enfrentan con plataformas de cómputo demasiado específicas y en constante cambio.

En esta charla presentaremos nuevas herramientas teórico-prácticas para control de tráfico de redes basadas en modelado y simulación en tiempo real. Presentaremos una metodología integradora que permite el diseño y verificación de controladores a tiempo discreto, a eventos discretos y/o continuos simultáneamente. La metodología basada en el formalismo de modelado DEVS permite integrar sistemas complejos eligiendo el modo de representación más conveniente para cada subsistema.

Veremos el diseño de controladores a distintos niveles de granularidad y su implementación final en hardware a tiempo real sin necesidad de recodificarlos para cada tecnología particular. Las nuevas herramientas permiten modelar flujos híbridos de tráfico, combinando la eficiencia computacional de una aproximación fluída con la ventaja del detalle granular de una simulación discreta, bajo un formalismo matemático unificado.

Los resultados obtenidos tienen por objetivo ofrecer un marco teórico-práctico basado en modelado y simulación que promueva la investigación interdisciplinar entre las comunidades de Teoría de Control, Redes de Datos e Ingeniería de Software.