Disciplina Curricular
Redes Definidas por Software RDSof
Mestrado Bolonha em Engenharia de Telecomunicações e Informática - METI 2018
Contextos
Grupo: METI 2018 > 2º Ciclo > Áreas de Especialização > Aplicações Seguras, Móveis Entre-Pares e na Nuvem
Período:
Peso
7.5 (para cálculo da média)
Objectivos
Perceber os princípios e operação de Redes Definidas por Software (SDN) e as principais alterações comparadas com a gestão de redes convencionais. Aprender a programar redes SDN e verificar a correção dos programas de rede.
Programa
1. Virtualização de Funções de Rede (NFV): conceitos e motivação; 2. Arquitetura SDN: plano de dados e plano de controlo, noção de plano de controlo centralizado, conceito de Sistema Operativo de Rede, componentes de SDN, virtualização e orquestração de rede. 3. Protocolos de SDN e controladores: OpenFlow, Pox, Floodlight, Ryu, noção de interface a jusante (South Bound Interface, SBI), desenvolvimento de aplicações e interface a montante (North Bound Interface, NBI), resiliência, redundância e escalabilidade dos controladores , e interfaces Este/Oeste, introdução ao Frenetic e P4. 4. Álgebras para redes de computadores: NetKAT e NetKAT probabilístico. 5. Verificação de protocolos de redes: lógica proposicional, lógica temporal linear, Promela e, SPIN. 6. Teste e desenvolvimento de aplicações: Mininet, ferramentas de desenvolvimento e implementação de protótipos. 7. Aplicações de SDN e NFV: centros de dados, engenharia de tráfego e segurança.
Metodologia de avaliação
A avaliação terá duas componentes: teórica (40%) e laboratório (60%).