dc.contributor.advisor | Bertolini, Cristiano | |
dc.contributor.advisor | Freitas, Edison Pignaton de | |
dc.creator | Zacarias, Iulisloi | |
dc.date.accessioned | 2018-04-03T21:41:23Z | |
dc.date.available | 2018-04-03T21:41:23Z | |
dc.date.issued | 2015-12-11 | |
dc.date.submitted | 2015 | |
dc.identifier.uri | http://repositorio.ufsm.br/handle/1/12845 | |
dc.description | Trabalho de Conclusão de Curso (graduação) - Universidade Federal de Santa Maria, Campus de Frederico Westphalen, Curso de Sistemas de Informação, RS, 2015. | por |
dc.description.abstract | Wireless Sensor Networks (WSN) are becoming more common and
applied in many areas like healthcare, environment monitoring and security.
Also, it is increasing the complexity and the network interoperability as heterogeneous
sensor nodes are used to compose WSN for emerging applications.
Observing the importance of guaranteeing certain properties in the operation
of this networks, this paper presents a formal study of a bio-inspired WSN routing
algorithm using a probabilistic model to verify properties of this routing
algorithm. It is noteworthy to mention the dynamic behavior of the WSN under
concern, which is composed of static and mobile nodes, these last ones represented
by Unmanned Aerial Vehicles (UAV). This fact adds complexity to the
proposed analysis, but presents opportunities for interesting investigations. The
acquired results shows that the algorithm is deadlock and livelock free, besides
the evaluation of other properties that are also formally verified. | eng |
dc.language | eng | por |
dc.publisher | Universidade Federal de Santa Maria | por |
dc.rights | Acesso Aberto | por |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | * |
dc.subject | Wireless sensor networks | eng |
dc.subject | Routing algorithm | eng |
dc.title | Formal analysis of a bio-inspired wireless sensor network routing algorithm | eng |
dc.type | Trabalho de Conclusão de Curso de Graduação | por |
dc.degree.local | Frederico Westphalen, RS, Brasil | por |
dc.degree.graduation | Sistemas de Informação | por |
dc.description.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. | por |
dc.publisher.country | Brasil | por |
dc.publisher.initials | UFSM | por |
dc.subject.cnpq | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO | por |
dc.publisher.unidade | UFSM Frederico Westphalen | por |