Modelado y validación formal de una topología SDN/OPENFLOW

RESUMEN: Las redes actuales están creciendo a una velocidad donde la administración se vuelve engorrosa y complicada al momento de operarlas, mantenerlas y asegurarlas. Es por esto que el concepto de administración de la red está cambiando a nivel mundial. Las redes definidas por software (SDN) se definen como el futuro de Internet al permitir separar el plano de control del plano de envío de los datos de la red, donde el plano de control, mediante un controlador basado en software, administra múltiples dispositivos de red asignándoles políticas definidas para el tratamiento de los flujos de datos. SDN es una arquitectura emergente que es dinámica y de bajo costo, siendo ideal para altos anchos de banda, dinámica natural de las aplicaciones actuales. El protocolo OpenFlow es el elemento fundamental y primer estándar para la implementación de soluciones SDN al hacer realidad la comunicación entre el equipo de red (Plano de datos) y el controlador SDN (Plano de control). El cambio de paradigma con SDN ha generado nuevos retos, siendo objeto de estudio de diferentes grupos de investigación alrededor del mundo en los últimos años. En particular, dada la relevancia que adquiere el controlador y el protocolo Openflow, la predicción de su desempeño ha generado alto interés investigativo. Las herramientas de modelamiento de sistemas dinámicos a eventos discretos (DEDS) son ampliamente utilizadas para realizar modelos de protocolos y dispositivos de telecomunicaciones, permitiendo analizar y comprender el detalle del comportamiento mediante simulación y validación formal y funcional