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

Claudemberg Ferreira dos Santos

Please use this identifier to cite or link to this item: http://hdl.handle.net/1843/BUBD-9KJM3Y

Full metadata record

DC Field	Value	Language
dc.contributor.advisor1	Antonio Alfredo Ferreira Loureiro	pt_BR
dc.contributor.referee1	Carlos de Castro Goulart	pt_BR
dc.contributor.referee2	Claudionor Jose Nunes Coelho Junior	pt_BR
dc.contributor.referee3	Daniel Câmara	pt_BR
dc.creator	Claudemberg Ferreira dos Santos	pt_BR
dc.date.accessioned	2019-08-12T14:46:11Z	-
dc.date.available	2019-08-12T14:46:11Z	-
dc.date.issued	2003-11-07	pt_BR
dc.identifier.uri	http://hdl.handle.net/1843/BUBD-9KJM3Y	-
dc.description.abstract	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.	pt_BR
dc.description.resumo	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.	pt_BR
dc.language	Português	pt_BR
dc.publisher	Universidade Federal de Minas Gerais	pt_BR
dc.publisher.initials	UFMG	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	Ciência da computação	pt_BR
dc.subject.other	Redes de computadores Protocolos	pt_BR
dc.subject.other	Computação móvel	pt_BR
dc.subject.other	Sistemas de comunicação móvel	pt_BR
dc.subject.other	Computação	pt_BR
dc.subject.other	Redes de computadores	pt_BR
dc.subject.other	Sistemas de computação sem fio	pt_BR
dc.title	Uma metodologia para verificação formal de protocolos de roteamento para redes móveis Ad Hoc	pt_BR
dc.type	Dissertação de Mestrado	pt_BR
Appears in Collections:	Dissertações de Mestrado

Files in This Item:

File	Description	Size	Format
dissertacao_claudembergferreiradossantos.pdf		3.44 MB	Adobe PDF	View/Open

Show simple item record