Formal verification of communication protocols for wireless networks
Carregando...
Arquivos
Data
Autor(es)
Título da Revista
ISSN da Revista
Título de Volume
Editor
Universidade Federal de Minas Gerais
Descrição
Tipo
Tese de doutorado
Título alternativo
Primeiro orientador
Membros da banca
Claudionor Jose Nunes Coelho Junior
Edleno Silva de Moura
Raquel Aparecida de Freitas Mini
Sergio Vale Aguiar Campos
Edleno Silva de Moura
Raquel Aparecida de Freitas Mini
Sergio Vale Aguiar Campos
Resumo
Redes de comunicação sem fio se tornaram nos últimos anos uma constante na vida de um número crescente de pessoas. Em um circulo virtuoso, novos e ainda mais ofisticados protocolos são projetados a cada dia, aumentando o número de ferramentas disponíveis, o que atrai ainda mais usuários. Contudo novas ferramentas são necessárias para ajudar os designers no seu trabalho de desenvolvimento de novos e melhores softwares e protocolos para este tipo de rede. Ferramentas tradicionais, projetadas para ambientes distribuídos tradicionais não necessariamente funcionam no contexto de redes sem fio. Esta tese apresenta um novo e simples método para ajudar os desenvolvedores na tarefa de criar protocolos para redes sem fio ad hoc baseado em Verificação formal de software. Esta técnica apresenta uma série de vantagens para quem visa criar protocolos de comunicação confiáveis e seguros.
Abstract
Assunto
Computação
Palavras-chave
Ciência da Computação