|
Nome do aluno
|
Cleber Brito Santos
|
|
Título do trabalho
|
Determinação de vizinhança em redes veiculares ad hoc: Uma análise dos tempos limite para entrega de mensagens
|
|
Resumo do trabalho
|
A detecção de vizinhança em redes veiculares ad hoc envolve a determinação de veículos
vizinhos para uma organização colaborativa. Esse problema apresenta desafios em relação àcomunicação entre veículos em redes veiculares devido à natureza dinâmica da rede, que
provoca variações imprevisíveis na qualidade do canal de comunicação devido a fatores comocondições ambientais, interferências e congestionamentos. Nesta dissertação, abordamos adetecção de vizinhança entre pelotões em redes dinâmicas, enfrentando desafios como a movimentação variada dos veículos e as interferências de edificações. A organização em pelotões representa um cenário relevante para o estudo em redes veiculares, uma vez que traz benefícios na qualidade do trânsito, como a redução do consumo de combustível, a melhoria do fluxo de tráfego e o aumento da segurança. Desenvolvemos um protocolo básico de comunicação, projetado para a comunicação entre líderes de pelotões, que garante o conhecimento mútuo entre eles, possibilitando a troca de informações essenciais para a detecção de vizinhança e o funcionamento colaborativo dos pelotões. Verificamos o protocolo utilizando o verificador de modelos PRISM. Utilizando este protocolo, realizamos experimentos para determinar os tempos necessários que ocorrem entre o envio e o recebimento de mensagens trocadas entre líderes de pelotões para a determinação de vizinhança. Realizamos experimentos em canais confiáveis e não confiáveis e determinamos tempos limite de progresso por meio de simulações utilizando o framework VEINS, que integra SUMO e OMNET++. Os resultados dos experimentos forneceram informações sobre os tempos limite de progresso em vários cenários que podem servir de referência para o desenvolvimento de aplicações relacionadas à comunicação em VANETs.
|
|
Orientador
|
Aline Maria Santos Andrade
|
|
Co-orientador
|
Alirio Santos de Sá
|
|
Membro Titular Externo (com afiliação)
|
Allan Edgard Silva Freitas (IFBA)
|
|
Link para o curriculum lattes
|
http://lattes.cnpq.br/2901867166038988
|
|
Membro Titular Interno ou Titular Externo 2 (com afiliação)
|
Leobino Nascimento Sampaio (PGCOMP)
|
|
Link para o curriculum lattes
|
http://lattes.cnpq.br/1952937182023132
|
|
Membro Suplente Externo (com afiliação)
|
Flávio Morais de Assis Silva (UFBA)
|
|
Link para o curriculum lattes
|
http://lattes.cnpq.br/9876422309721833
|
|
Membro Suplente Interno ou Suplente Externo 2 (com afiliação)
|
Fabíola Gonçalves Pereira Greve
|
|
Link para o curriculum lattes
|
http://lattes.cnpq.br/0120615995402345
|
|
Data da defesa
|
28 Aug, 2023
|
|
Horário da defesa
|
9:00 AM
|
