Formal analysis of a bio-inspired wireless sensor network routing algorithm

Detalhes bibliográficos
Autor(a) principal: Zacarias, Iulisloi
Data de Publicação: 2015
Idioma: eng
Título da fonte: Manancial - Repositório Digital da UFSM
dARK ID: ark:/26339/001300000pkhd
Texto Completo: http://repositorio.ufsm.br/handle/1/12845
Resumo: 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.
id UFSM_aaff62b9ddf94693bf0701e91f3cde92
oai_identifier_str oai:repositorio.ufsm.br:1/12845
network_acronym_str UFSM
network_name_str Manancial - Repositório Digital da UFSM
repository_id_str
spelling Formal analysis of a bio-inspired wireless sensor network routing algorithmWireless sensor networksRouting algorithmCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAOTrabalho de Conclusão de Curso (graduação) - Universidade Federal de Santa Maria, Campus de Frederico Westphalen, Curso de Sistemas de Informação, RS, 2015.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.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.Universidade Federal de Santa MariaBrasilUFSMUFSM Frederico WestphalenBertolini, CristianoFreitas, Edison Pignaton deZacarias, Iulisloi2018-04-03T21:41:23Z2018-04-03T21:41:23Z2015-12-112015Trabalho de Conclusão de Curso de Graduaçãoinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://repositorio.ufsm.br/handle/1/12845ark:/26339/001300000pkhdenghttp://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccessreponame:Manancial - Repositório Digital da UFSMinstname:Universidade Federal de Santa Maria (UFSM)instacron:UFSM2020-08-06T11:42:32Zoai:repositorio.ufsm.br:1/12845Biblioteca Digital de Teses e Dissertaçõeshttps://repositorio.ufsm.br/ONGhttps://repositorio.ufsm.br/oai/requestatendimento.sib@ufsm.br||tedebc@gmail.comopendoar:2020-08-06T11:42:32Manancial - Repositório Digital da UFSM - Universidade Federal de Santa Maria (UFSM)false
dc.title.none.fl_str_mv Formal analysis of a bio-inspired wireless sensor network routing algorithm
title Formal analysis of a bio-inspired wireless sensor network routing algorithm
spellingShingle Formal analysis of a bio-inspired wireless sensor network routing algorithm
Zacarias, Iulisloi
Wireless sensor networks
Routing algorithm
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
title_short Formal analysis of a bio-inspired wireless sensor network routing algorithm
title_full Formal analysis of a bio-inspired wireless sensor network routing algorithm
title_fullStr Formal analysis of a bio-inspired wireless sensor network routing algorithm
title_full_unstemmed Formal analysis of a bio-inspired wireless sensor network routing algorithm
title_sort Formal analysis of a bio-inspired wireless sensor network routing algorithm
author Zacarias, Iulisloi
author_facet Zacarias, Iulisloi
author_role author
dc.contributor.none.fl_str_mv Bertolini, Cristiano
Freitas, Edison Pignaton de
dc.contributor.author.fl_str_mv Zacarias, Iulisloi
dc.subject.por.fl_str_mv Wireless sensor networks
Routing algorithm
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
topic Wireless sensor networks
Routing algorithm
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
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.
publishDate 2015
dc.date.none.fl_str_mv 2015-12-11
2015
2018-04-03T21:41:23Z
2018-04-03T21:41:23Z
dc.type.driver.fl_str_mv Trabalho de Conclusão de Curso de Graduação
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://repositorio.ufsm.br/handle/1/12845
dc.identifier.dark.fl_str_mv ark:/26339/001300000pkhd
url http://repositorio.ufsm.br/handle/1/12845
identifier_str_mv ark:/26339/001300000pkhd
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Santa Maria
Brasil
UFSM
UFSM Frederico Westphalen
publisher.none.fl_str_mv Universidade Federal de Santa Maria
Brasil
UFSM
UFSM Frederico Westphalen
dc.source.none.fl_str_mv reponame:Manancial - Repositório Digital da UFSM
instname:Universidade Federal de Santa Maria (UFSM)
instacron:UFSM
instname_str Universidade Federal de Santa Maria (UFSM)
instacron_str UFSM
institution UFSM
reponame_str Manancial - Repositório Digital da UFSM
collection Manancial - Repositório Digital da UFSM
repository.name.fl_str_mv Manancial - Repositório Digital da UFSM - Universidade Federal de Santa Maria (UFSM)
repository.mail.fl_str_mv atendimento.sib@ufsm.br||tedebc@gmail.com
_version_ 1815172374116433920

Registros relacionados