Herramientas Personales
Usted está aquí: Inicio / Agenda / Defensa Tesis Licenciatura Andrés Laurito

Defensa Tesis Licenciatura Andrés Laurito

Título: Haikunet: An Intent Programming Language for the Software Defined Networking Paradigm. Directores: Rodrigo Castro y Hernán Melgratti. Jurados: José Ignacio Alvarez-Hamelin y Diego Garbervetsky.

Detalles del evento

Cuándo

15/12/2017
de 16:00 a 17:00

Dónde

Laboratorio 5

Agregar evento al calendario

  • Título: Haikunet: An Intent Programming Language for the Software Defined Networking Paradigm.
  • Directores: Rodrigo Castro y Hernán Melgratti.
  • Jurados: José Ignacio Alvarez-Hamelin y Diego Garbervetsky.
  • Resumen:

Los lenguajes de programación orientados a intents están tomando un rol cada vez más importante en el paradigma de Software Defined Networking (SDN). A pesar de ello, la gran mayoría de estos lenguajes de programación son soluciones acopladas rígidamente a controladores SDN específicos, dificultando su reuso y portabilidad. Ademas, los lenguajes existentes no suelen implementar herramientas de verficación para detectar errores en los intents antes de que estos sean aplicados a la red que se pretende manipular en forma programática. En esta tesis presentamos Haikunet, un lenguaje de programación orientado a intents que implementa capacidades básicas de verificación y es agnóstico frente a controladores SDN. Esta última propiedad es lograda gracias al uso de TopoGen, una herramienta genérica para traducir y generar descripciones topologías de redes desarrollada en el marco de esta tesis. TopoGen es usado para generar modelos de grafos y de simulación para la topología analizada. Sobre el modelo de grafos realizamos verificaciones de propiedades estáticas, mientras que con los modelos de simulación abrimos el camino para la verificación de propiedades dinámicas. La semántica operacional de Haikunet es presentada siguiendo el estilo de Structural Operational Semantics (SOS), esto es, un conjunto de reglas de inferencia que define de manera inductiva la relación de reducción. Estas reglas de inferencia son dadas en dos niveles: 1. una gramática de grafos que define cómo cada operación del lenguaje afecta a la topología de una red, y 2. un conjunto de reglas de inferencia describen el cómputo de un programa en Haikunet. En este trabajo presentamos distintos escenarios y mostramos como Haikunet puede detectar errores en intents antes de que estos sean aplicados en la red. Todos los escenarios considerados fueron probados contra los controladores actualmente soportados por Haikunet: ONOS y OpenDayLight.