Banca de DEFESA: VINÍCIUS SANTOS DE ALMEIDA

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: VINÍCIUS SANTOS DE ALMEIDA
DATA : 02/02/2026
HORA: 09:00
LOCAL: Auditorio do CIn - Bloco B
TÍTULO:

Stochastic Modeling for Performability Evaluation of Static Vehicular Clouds in Car Rental Scenarios

PALAVRAS-CHAVES:

nuvens veiculares; modelagem estocástica; performabilidade.

PÁGINAS: 82
RESUMO:

A Computação em Nuvens Veiculares (VCCs) tem se consolidado como um paradigma promis-
sor para a exploração de recursos computacionais subutilizados embarcados em veículos. En-
tretanto, aplicações de nuvem veicular estão sujeitas à volatilidade decorrente de variações na
disponibilidade e na mobilidade dos veículos, como a saída de veículos do estacionamento e
mudanças em trajetórias que impactam a formação cooperativa da nuvem. Essas caracterís-
ticas impõem desafios significativos ao provisionamento de serviços, especialmente no que se
refere à execução bem-sucedida de tarefas em ambientes com recursos dinâmicos. Este tra-
balho aborda o problema da execução de tarefas nos ambientes de recursos voláteis das Nuvens
Veiculares (VCs) por meio da proposição de um framework de modelagem estocástica para
Nuvens Veiculares Estáticas (SVCs), considerando um cenário de locação de veículos. Nesse
contexto, os veículos permanecem estacionados por períodos prolongados, embora ainda este-
jam sujeitos a variações de disponibilidade devido a aluguéis. Um modelo baseado em Redes de
Petri Estocásticas (SPNs) é desenvolvido para representar as principais dinâmicas do sistema,
incluindo a chegada e o enfileiramento de tarefas, a alocação de recursos computacionais, as
variações na disponibilidade dos veículos e o estado operacional de um broker centralizado.
O modelo proposto permite a avaliação conjunta de desempenho e disponibilidade por meio
de três métricas principais: Probabilidade de Descarte da Fila (QDP), Utilização dos Recursos
Disponíveis (UAR) e a Disponibilidade. Inicialmente, é conduzida uma análise de sensibilidade
com o objetivo de identificar os parâmetros que exercem maior influência sobre essas métricas,
fornecendo suporte para a compreensão dos fatores que afetam o comportamento do sistema
em função da carga de trabalho e dos recursos disponíveis. Posteriormente, o comportamento
do modelo em termos de filas é comparado ao modelo clássico de filas M/M/𝑚/𝑘, com o
propósito de embasar o funcionamento do modelo, sendo observada forte correspondência en-
tre os resultados obtidos. Por fim, a análise evidencia trade-offs relevantes entre descarte de
tarefas, utilização de recursos e disponibilidade do sistema, oferecendo suporte à tomada de
decisão no planejamento e dimensionamento de infraestruturas de SVCs.

 

MEMBROS DA BANCA:
Externo à Instituição - CARLOS ALEXANDRE SILVA DE MELO - UPE
Presidente - 1104139 - DAVID JUNIO MOTA CAVALCANTI
Interno - 2327528 - PAULO ROMERO MARTINS MACIEL