Dissertação

{en_GB=Hard-state Protocol Independent Multicast - Source Specific Multicast (HPIM-SSM)} {} EVALUATED

{pt=Em comunicações IP, os protocolos de encaminhamento multicast, permitem distribuir tráfego de forma eficaz de um nó para um grupo de nós na rede. Isto é alcançado através de um sistema de distribuição de tráfego geralmente formado por uma ou mais árvores que ligam as fontes aos receptores usando caminhos óptimos. Os principais protocolos multicast e mais usados hoje-em-dia pertencem à família PIM que incluí os protocolos PIM-DM, PIM-SM, e PIM-SSM. Devido à sua soft-nature, os protocolos PIM sofrem de convergência lenta, causada essencialmente pela sua reacção lenta a mudanças ou eventos na rede. Nesta Dissertação de Mestrado desenvolvemos uma versão hard-state do protocolo PIM-SSM, designada por HPIM-SM, que supera muitas das limitações do PIM-SSM. Apresentamos a especificação do HPIM-SSM. O protocolo foi implementado em Python e testado num ambiente de emulação de redes. A correcção da especificação foi verificada através de técnicas de model checking, usando a linguagem Promela e a ferramenta SPIN. Comparámos os tempos de convergência do HPIM-SSM e PIM-SSM com a criação e execução de testes de convergência em ambos os protocolos. Dado isso, também implementámos o protocolo PIM-SSM em Python. Os resultados obtidos mostram que o HPIM-SSM converge muito mais rápido que o PIM-SSM com o custo de se ter de guardar mais informação., en=In IP communications, multicast routing protocols provide an efficient way of distributing traffic from a node to a group of nodes in the network. This is achieved through a distribution system usually formed by one or more trees connecting the sources to the receivers through optimal paths. The main multicast protocols and most used currently are from the PIM family which includes the PIM-DM, PIM-SM, and PIM-SSM protocols. Due to their soft-state nature, PIM protocols suffer from slow convergence caused essentially by their slow reaction to events and changes in the network. In this MSc Dissertation we developed a hard-state version of PIM-SSM, designated by HPIM-SSM, which overcomes several limitations of the current PIM-SSM protocol. We present the specification of HPIM-SSM. The protocol was implemented in Python and tested in a network emulated environment. The correctness of the specification was verified through model checking techniques using the Promela language and SPIN tool. We compared the convergence time of HPIM-SSM and PIM-SSM by creating and executing convergence time tests in both protocols. For this purpose we also implemented the PIM-SSM protocol in Python. Our results show that HPIM-SSM has much better convergence performance than PIM-SSM at the cost of some added stored information.}
{pt=Multicast, protocolos, PIM, PIM-SSM, en=Multicast, protocols, PIM, PIM-SSM}

Janeiro 28, 2021, 14:0

Orientação

ORIENTADOR

Rui Jorge Morais Tomaz Valadas

Departamento de Engenharia Electrotécnica e de Computadores (DEEC)

Professor Catedrático