Registro fonte: Verificação formal de um protocolo de rede sem fio através de model checking

Verificação formal de um protocolo de rede sem fio através de model checking

This work consists of the application of the model checking technique to the formal specification, modeling and formal verification of the basic access method of the IEEE 802.11 standard medium access control protocol distributed coordination function (DCF). The modeling was made assuming nodes with...

ver descrição completa

Autor principal:	Rosas, Fabiano Almeida
Formato:	Trabalho de Conclusão de Curso (Graduação)
Idioma:	Português
Publicado em:	Universidade Tecnológica Federal do Paraná 2020
Assuntos:	Rede de computador - Protocolos IEEE 802.11 (Normas) Redes locais sem fio Computer network protocols IEEE 802.11 (Standards) Wireless LANs CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO Bacharelado em Ciência da Computação
Acesso em linha:	http://repositorio.utfpr.edu.br/jspui/handle/1/15907
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

id	riut-1-15907
recordtype	dspace
spelling	riut-1-159072021-12-09T13:31:00Z Verificação formal de um protocolo de rede sem fio através de model checking Rosas, Fabiano Almeida Alves, Gleifer Vaz Queiroz, Saulo Jorge Beltrão de Alves, Gleifer Vaz Queiroz, Saulo Jorge Beltrão de Monteiro, Tânia Lúcia Rede de computador - Protocolos IEEE 802.11 (Normas) Redes locais sem fio Computer network protocols IEEE 802.11 (Standards) Wireless LANs CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO Bacharelado em Ciência da Computação This work consists of the application of the model checking technique to the formal specification, modeling and formal verification of the basic access method of the IEEE 802.11 standard medium access control protocol distributed coordination function (DCF). The modeling was made assuming nodes with saturated traffic and all stations starting at the same time. The purposed model admits typical configuration parameters of a IEEE 802.11 a/b/g network, such as number of nodes, channel width, data rate and packet size. Using the UPPAAL model checker, properties related to the minimum time needed for all the stations to transmit successfully were formally verified. This work intends to fill a gap that exists with relation to the formal modeling of the IEEE 802.11 DCF and serve as a basis for the formal verification of new 802.11 DCF variations. O presente trabalho trata da aplicação da técnica de model checking na especificação formal, modelagem e verificação formal do método de acesso básico da função de coordenação distribuída (DCF) do protocolo de controle de acesso ao meio do padrão IEEE 802.11. A modelagem foi feita assumindo nós com tráfego saturado e com todas as estações iniciando o seu funcionamento ao mesmo tempo. O modelo proposto admite a configuração de parâmetros típicos de uma rede IEEE 802.11 a/b/g, tais como número de nós, largura de canal, taxa de transmissão e tamanho de pacote. Utilizou-se do model checker UPPAAL e verificou-se propriedades relacionadas ao tempo mínimo necessário para que todas as estações possam transmitir com sucesso. Este trabalho pretende preencher uma lacuna existente com relação à modelagem formal do IEEE DCF e busca servir de base para a verificação formal de novas variações do 802.11 DCF. 2020-11-19T18:22:44Z 2020-11-19T18:22:44Z 2014-11-11 bachelorThesis ROSAS, Fabiano Almeida. Verificação formal de um protocolo de rede sem fio através de Model Checking. 2014. 60 f. Trabalho de conclusão de curso (Graduação) - Universidade Tecnológica Federal do Paraná, Ponta Grossa, 2014. http://repositorio.utfpr.edu.br/jspui/handle/1/15907 por openAccess application/pdf Universidade Tecnológica Federal do Paraná Ponta Grossa Brasil Departamento Acadêmico de Informática Ciência da Computação UTFPR
institution	Universidade Tecnológica Federal do Paraná
collection	RIUT
language	Português
topic	Rede de computador - Protocolos IEEE 802.11 (Normas) Redes locais sem fio Computer network protocols IEEE 802.11 (Standards) Wireless LANs CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO Bacharelado em Ciência da Computação
spellingShingle	Rede de computador - Protocolos IEEE 802.11 (Normas) Redes locais sem fio Computer network protocols IEEE 802.11 (Standards) Wireless LANs CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO Bacharelado em Ciência da Computação Rosas, Fabiano Almeida Verificação formal de um protocolo de rede sem fio através de model checking
description	This work consists of the application of the model checking technique to the formal specification, modeling and formal verification of the basic access method of the IEEE 802.11 standard medium access control protocol distributed coordination function (DCF). The modeling was made assuming nodes with saturated traffic and all stations starting at the same time. The purposed model admits typical configuration parameters of a IEEE 802.11 a/b/g network, such as number of nodes, channel width, data rate and packet size. Using the UPPAAL model checker, properties related to the minimum time needed for all the stations to transmit successfully were formally verified. This work intends to fill a gap that exists with relation to the formal modeling of the IEEE 802.11 DCF and serve as a basis for the formal verification of new 802.11 DCF variations.
format	Trabalho de Conclusão de Curso (Graduação)
author	Rosas, Fabiano Almeida
author_sort	Rosas, Fabiano Almeida
title	Verificação formal de um protocolo de rede sem fio através de model checking
title_short	Verificação formal de um protocolo de rede sem fio através de model checking
title_full	Verificação formal de um protocolo de rede sem fio através de model checking
title_fullStr	Verificação formal de um protocolo de rede sem fio através de model checking
title_full_unstemmed	Verificação formal de um protocolo de rede sem fio através de model checking
title_sort	verificação formal de um protocolo de rede sem fio através de model checking
publisher	Universidade Tecnológica Federal do Paraná
publishDate	2020
citation	ROSAS, Fabiano Almeida. Verificação formal de um protocolo de rede sem fio através de Model Checking. 2014. 60 f. Trabalho de conclusão de curso (Graduação) - Universidade Tecnológica Federal do Paraná, Ponta Grossa, 2014.
url	http://repositorio.utfpr.edu.br/jspui/handle/1/15907
_version_	1805296787388366848
score	10,814766

Verificação formal de um protocolo de rede sem fio através de model checking

Registros relacionados