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

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 for...

Full description

Bibliographic Details
Author: Claudemberg Ferreira dos Santos
Format: master thesis
Status:Published version
Publication Date:2003
Country:Brasil
Institution:Universidade Federal de Minas Gerais (UFMG)
Repository:Repositório Institucional da UFMG
Language:Portuguese
OAI Identifier:oai:repositorio.ufmg.br:1843/BUBD-9KJM3Y
Online Access:http://hdl.handle.net/1843/BUBD-9KJM3Y
Access Level:Open access
Keyword:Ciência da computação
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
id BR_f10cc0fe2a27ff2a74200df6d3cfb6c8
oai_identifier_str oai:repositorio.ufmg.br:1843/BUBD-9KJM3Y
network_acronym_str BR
network_name_str Brasil
repository_id_str
spelling Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad HocCiência da computaçãoRedes de computadores ProtocolosComputação móvelSistemas de comunicação móvelComputaçãoRedes de computadoresSistemas de computação sem fioA 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.Uma 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.Universidade Federal de Minas GeraisUFMGAntonio Alfredo Ferreira LoureiroCarlos de Castro GoulartClaudionor Jose Nunes Coelho JuniorDaniel Câmara2019-08-12T14:46:11Z2019-08-12T14:46:11Z2003-11-07info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/1843/BUBD-9KJM3Yinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGClaudemberg Ferreira dos Santos2019-11-14T21:15:54Zoai:repositorio.ufmg.br:1843/BUBD-9KJM3YRepositório InstitucionalPUBhttps://repositorio.ufmg.br/oairepositorio@ufmg.bropendoar:2019-11-14T21:15:54Repositó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
Ciência da computação
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
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
dc.creator.none.fl_str_mv Claudemberg Ferreira dos Santos
author Claudemberg Ferreira dos Santos
author_facet Claudemberg Ferreira dos Santos
author_role author
dc.contributor.none.fl_str_mv Antonio Alfredo Ferreira Loureiro
Carlos de Castro Goulart
Claudionor Jose Nunes Coelho Junior
Daniel Câmara
dc.subject.por.fl_str_mv Ciência da computação
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 Ciência da computação
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
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.none.fl_str_mv 2003-11-07
2019-08-12T14:46:11Z
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 http://hdl.handle.net/1843/BUBD-9KJM3Y
url http://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.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Minas Gerais
UFMG
publisher.none.fl_str_mv Universidade Federal de Minas Gerais
UFMG
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
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_ 1853663294616764416
score 15.228081

Similar Items