Formal analysis of a bio-inspired wireless sensor network routing algorithm
Resumo
Redes de Sensores Sem Fio (WSN) estão se tornando mais comuns e
sendo aplicadas em muitas áreas, como saúde, monitoramento ambiental e segurança.
Além disso, está aumentando a complexidade e a interoperabilidade da rede como heterogênea e
sensores são usados para compor estas redes para aplicativos emergentes.
Observando a importância de garantir certas propriedades na operação
desta rede, este artigo apresenta um estudo formal de um roteamento WSN bio-inspirado
usando um modelo probabilístico para verificar as propriedades desse roteamento. Vale a pena mencionar o comportamento dinâmico da RSSF sob estudo, que é composta de nós estáticos e móveis, estes últimos representados
por veículos aéreos não tripulados (UAV). Esse fato adiciona complexidade à
análise proposta, mas apresenta oportunidades para investigações interessantes.
Coleções
Os arquivos de licença a seguir estão associados a este item: