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...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2003 |
| País: | Brasil |
| Institución: | Universidade Federal de Minas Gerais (UFMG) |
| Repositorio: | Repositório Institucional da UFMG |
| Idioma: | portugués |
| OAI Identifier: | oai:repositorio.ufmg.br:1843/BUBD-9KJM3Y |
| Acceso en línea: | http://hdl.handle.net/1843/BUBD-9KJM3Y |
| Access Level: | acceso abierto |
| Palabra clave: | 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 |
| Sumario: | 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. |
|---|