Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc

Detalhes bibliográficos
Ano de defesa: 2003
Autor(a) principal: Claudemberg Ferreira dos Santos
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Minas Gerais
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Redes de computadores Protocolos
Computação móvel
Sistemas de comunicação móvel
Computação
Redes de computadores
Sistemas de computação sem fio
Link de acesso: https://hdl.handle.net/1843/BUBD-9KJM3Y
Resumo: A mobile hoc network (MANET) is comprised of mobile nodes that can communicate directly with each other, leading to different topologies along the time. In this kind of network, the routing protocol plays an important role since it offers the delivery of message to the upper layers. that are not formally vtheerirfeiedaraensde,vtehrearlepfororeto, citoliss npoutblpisohsesidblientothgeulairtearnatetuerethefoirr correctness.This dissertation presents a novel methodology for verifying routing protocols for MANETs. The soluting proposed is applied to three well-known protocols fLARl, LAR2 and DREAM). As result, we were able to identify previous known errors published in the literature, new ones and restrictions not mentioned in the original papers for all three protocols.
id UFMG_f10cc0fe2a27ff2a74200df6d3cfb6c8
oai_identifier_str oai:repositorio.ufmg.br:1843/BUBD-9KJM3Y
network_acronym_str UFMG
network_name_str Repositório Institucional da UFMG
repository_id_str
spelling 2019-08-12T14:46:11Z2025-09-08T23:08:46Z2019-08-12T14:46:11Z2003-11-07https://hdl.handle.net/1843/BUBD-9KJM3YA mobile hoc network (MANET) is comprised of mobile nodes that can communicate directly with each other, leading to different topologies along the time. In this kind of network, the routing protocol plays an important role since it offers the delivery of message to the upper layers. that are not formally vtheerirfeiedaraensde,vtehrearlepfororeto, citoliss npoutblpisohsesidblientothgeulairtearnatetuerethefoirr correctness.This dissertation presents a novel methodology for verifying routing protocols for MANETs. The soluting proposed is applied to three well-known protocols fLARl, LAR2 and DREAM). As result, we were able to identify previous known errors published in the literature, new ones and restrictions not mentioned in the original papers for all three protocols.Universidade Federal de Minas GeraisCiência da computaçãoRedes de computadores ProtocolosComputação móvelSistemas de comunicação móvelComputaçãoRedes de computadoresSistemas de computação sem fioUma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hocinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisClaudemberg Ferreira dos Santosinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGAntonio Alfredo Ferreira LoureiroCarlos de Castro GoulartClaudionor Jose Nunes Coelho JuniorDaniel CâmaraUma rede móvel ad hoc é uma rede onde os nodos são móveis e podem se comunicar diretamente entre si. Isto significa que em cada instante do tempo a rede pode ter uma topologia diferente. Neste tipo de rede o protocolo de roteamento oferece um serviço muito importante para os protocolos das camadas superiores que é a entrega de mensagens. Atualmente, existem vários protocolos publicados na literatura para esse tipo de rede nas que não têm sido verificados através de um método formal, o que não garante efetivamentea correção. Este trabalho propõe uma metodologia inovadora para verificar protocolos de roteamento para redes móveis ad hoc. A eficiência da solução proposta foi avaliada aplicando a metodologia a três protocolos, LARl, LAR2 e DREAM, e identificando efetivamente problemas já conhecidos na literatura, outros ainda não relatados e restrições não mencionadas nos trabalhos publicados.UFMGORIGINALdissertacao_claudembergferreiradossantos.pdfapplication/pdf3526912https://repositorio.ufmg.br//bitstreams/da34eac9-bb02-4444-adac-b0dfc264b9e7/download6ca72badb4750395faddf89683a4bc3eMD51trueAnonymousREADTEXTdissertacao_claudembergferreiradossantos.pdf.txttext/plain212577https://repositorio.ufmg.br//bitstreams/16d4a2f3-6b24-4501-8d65-64528e88fadd/downloadc5fd61fc9e22d548cba794d042b412b8MD52falseAnonymousREAD1843/BUBD-9KJM3Y2025-09-08 20:08:46.597open.accessoai:repositorio.ufmg.br:1843/BUBD-9KJM3Yhttps://repositorio.ufmg.br/Repositório InstitucionalPUBhttps://repositorio.ufmg.br/oairepositorio@ufmg.bropendoar:2025-09-08T23:08:46Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
dc.title.none.fl_str_mv Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
title Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
spellingShingle Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
Claudemberg Ferreira dos Santos
Redes de computadores Protocolos
Computação móvel
Sistemas de comunicação móvel
Computação
Redes de computadores
Sistemas de computação sem fio
Ciência da computação
title_short Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
title_full Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
title_fullStr Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
title_full_unstemmed Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
title_sort Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc
author Claudemberg Ferreira dos Santos
author_facet Claudemberg Ferreira dos Santos
author_role author
dc.contributor.author.fl_str_mv Claudemberg Ferreira dos Santos
dc.subject.por.fl_str_mv Redes de computadores Protocolos
Computação móvel
Sistemas de comunicação móvel
Computação
Redes de computadores
Sistemas de computação sem fio
topic Redes de computadores Protocolos
Computação móvel
Sistemas de comunicação móvel
Computação
Redes de computadores
Sistemas de computação sem fio
Ciência da computação
dc.subject.other.none.fl_str_mv Ciência da computação
description A mobile hoc network (MANET) is comprised of mobile nodes that can communicate directly with each other, leading to different topologies along the time. In this kind of network, the routing protocol plays an important role since it offers the delivery of message to the upper layers. that are not formally vtheerirfeiedaraensde,vtehrearlepfororeto, citoliss npoutblpisohsesidblientothgeulairtearnatetuerethefoirr correctness.This dissertation presents a novel methodology for verifying routing protocols for MANETs. The soluting proposed is applied to three well-known protocols fLARl, LAR2 and DREAM). As result, we were able to identify previous known errors published in the literature, new ones and restrictions not mentioned in the original papers for all three protocols.
publishDate 2003
dc.date.issued.fl_str_mv 2003-11-07
dc.date.accessioned.fl_str_mv 2019-08-12T14:46:11Z
2025-09-08T23:08:46Z
dc.date.available.fl_str_mv 2019-08-12T14:46:11Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1843/BUBD-9KJM3Y
url https://hdl.handle.net/1843/BUBD-9KJM3Y
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Minas Gerais
publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFMG
instname:Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
instname_str Universidade Federal de Minas Gerais (UFMG)
instacron_str UFMG
institution UFMG
reponame_str Repositório Institucional da UFMG
collection Repositório Institucional da UFMG
bitstream.url.fl_str_mv https://repositorio.ufmg.br//bitstreams/da34eac9-bb02-4444-adac-b0dfc264b9e7/download
https://repositorio.ufmg.br//bitstreams/16d4a2f3-6b24-4501-8d65-64528e88fadd/download
bitstream.checksum.fl_str_mv 6ca72badb4750395faddf89683a4bc3e
c5fd61fc9e22d548cba794d042b412b8
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)
repository.mail.fl_str_mv repositorio@ufmg.br
_version_ 1862105959337295872

Registros relacionados