Fault Isolation in Software Defined Networks EVALUATED

Detalhes: As redes definidas por software (do Inglês, Software Defined Networks, SDNs) têm vindo a afirmar-se como uma das mais promissoras abordagens para simplificar a configuração e gestão de equipamentos. No entanto, as SDNs não são imunes a erros tais como ciclos no encaminhamento, buracos negros, encaminhamento sub-óptimo, entre outros. Estes erros são tipicamente causados por falhas na especificação ou por erros nos equipamentos. Se as primeiras podem ser, em grande parte, eliminadas através da utilização de ferramentas que fazem a validação automática de uma especificação antes da sua instalação, os erros (e/ou avarias) nos equipamentos (muitas vezes de natureza não determinista) geralmente só conseguem ser detectados em tempo de execução. Esta dissertação propõe uma nova técnica para facilitar o isolamento de falhas nos equipamentos em redes SDN. Esta técnica combina a utilização de ferramentas de validação formal (para obter os caminhos esperados para os pacotes) e ferramentas de registo de pacotes (para obter os caminhos observados) para realizar uma análise diferencial que permite identificar com forte precisão qual o equipamento onde ocorreu a falha que causou a desconfiguração da rede. Construímos um protótipo desta ferramenta e avaliámo-lo no MiniNet. Os nossos resultados mostram que o nosso sistema é capaz de apontar o comutador em falha ou, no pior caso, pares de comutadores em que um deles está em falha, e que o sistema consegue também categorizar o erro da rede dentro de cinco tipos diferentes de erro.

Discussão: novembro 14, 2016, 9:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

AUTOR

João Sales Henriques Miranda (ist169984)

ORIENTADOR

Luís Eduardo Teixeira Rodrigues

Departamento de Engenharia Informática (DEI)

Professor Catedrático