Show simple item record

dc.contributor.advisorBertolini, Cristiano
dc.contributor.advisorFreitas, Edison Pignaton de
dc.creatorZacarias, Iulisloi
dc.date.accessioned2018-04-03T21:41:23Z
dc.date.available2018-04-03T21:41:23Z
dc.date.issued2015-12-11
dc.date.submitted2015
dc.identifier.urihttp://repositorio.ufsm.br/handle/1/12845
dc.descriptionTrabalho 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.abstractWireless 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.languageengpor
dc.publisherUniversidade Federal de Santa Mariapor
dc.rightsAcesso Abertopor
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/*
dc.subjectWireless sensor networkseng
dc.subjectRouting algorithmeng
dc.titleFormal analysis of a bio-inspired wireless sensor network routing algorithmeng
dc.typeTrabalho de Conclusão de Curso de Graduaçãopor
dc.degree.localFrederico Westphalen, RS, Brasilpor
dc.degree.graduationSistemas de Informaçãopor
dc.description.resumoRedes 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.countryBrasilpor
dc.publisher.initialsUFSMpor
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAOpor
dc.publisher.unidadeUFSM Frederico Westphalenpor


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Acesso Aberto
Except where otherwise noted, this item's license is described as Acesso Aberto

O Manancial - Repositório Digital da UFSM utiliza a versão 4.1 do software DSpace.
Av. Roraima, 1000. Cidade Universitária "Prof. José Mariano da Rocha Filho".
Bairro Camobi. CEP: 97.105-900. Santa Maria, RS, Brasil.