Escudo Universidad de Antioquia

Sistema de Bibliotecas

Universidad de Antioquia

Repositorio Institucional UdeA


Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10495/4321
Título : Modelado y validación formal de una topología SDN/OPENFLOW
Autor : Castrillón Ospina, Sebastian
Asesor : Gaviria Gómez, Natalia
Palabras clave : Administración de redes
Redes definidas por software
Openflow
Fecha de publicación : 2016
Editorial : Universidad de Antioquia
Citación : Castrillón Ospina, S. (2016). Modelado y validación formal de una topología SDN/OPENFLOW (Tesis de Maestría). Universidad de Antioquia, Medellín.
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.
Programa Académico : Maestría en Ingeniería de Telecomunicaciones
URI : http://hdl.handle.net/10495/4321
Aparece en las colecciones: Maestrías en Ingeniería

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
CastrillonSebastian_2016_MODELADOVALIDACIÓNFORMAL.pdfTesis de Maestría1,59 MBAdobe PDFVisualizar/Abrir


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons

 


Unidad de Gestión Tecnológica /Sistema de Bibliotecas / Universidad de Antioquia / Cl. 67 Nº 53 - 108 - Bloque 8 Conmutador: 219 51 51- 219 51 40 comunicacionessistemadebibliotecas@udea.edu.co Medellín - Colombia