Dissertação

Geração automática de código para redes de sensores sem fio usando Communicating X-machine

Rede de Sensores Sem Fio (RSSF) tem despertado o interesse de pesquisadores no desenvolvimento de aplicações que atuem no monitoramento e controle de fenômenos físicos, apoiando-se em sua autonomia e exibilidade, e em sua natureza distribuída e pervasiva. Se por um lado, esse interesse proporcio...

ver descrição completa

Autor principal: Braga, Marcus de Lima
Outros Autores: http://lattes.cnpq.br/3884377039846950
Grau: Dissertação
Idioma: por
Publicado em: Universidade Federal do Amazonas 2016
Assuntos:
Redes de Sensores Sem Fio
Communicating XMachine
Wireless Sensor Network
Componentes de Software
ENGENHARIAS: ENGENHARIA ELÉTRICA
Acesso em linha: http://tede.ufam.edu.br/handle/tede/4887
id oai:https:--tede.ufam.edu.br-handle-:tede-4887
recordtype dspace
spelling oai:https:--tede.ufam.edu.br-handle-:tede-48872018-08-16T17:50:43Z Geração automática de código para redes de sensores sem fio usando Communicating X-machine Braga, Marcus de Lima Lucena Júnior, Vicente Ferreira de http://lattes.cnpq.br/3884377039846950 http://lattes.cnpq.br/6820830740393500 Lucena Junior, Vicente Ferreira de Queiroz Neto, José Pinheiro de Magalhães Netto, José Francisco de Redes de Sensores Sem Fio Communicating XMachine Wireless Sensor Network Componentes de Software ENGENHARIAS: ENGENHARIA ELÉTRICA Rede de Sensores Sem Fio (RSSF) tem despertado o interesse de pesquisadores no desenvolvimento de aplicações que atuem no monitoramento e controle de fenômenos físicos, apoiando-se em sua autonomia e exibilidade, e em sua natureza distribuída e pervasiva. Se por um lado, esse interesse proporciona o desenvolvimento de novas aplica- ções, por outro, eleva sua complexidade e consequentemente seus custos. Isto é facilmente entendido devido suas características restritivas, que fazem com que os estágios cruciais do desenvolvimento de software (modelagem, veri cação e testes) se tornem tarefas não triviais. A programação é realizada muito próxima ao sistema operacional (baixo nível), favorecendo a distração na aplicação da lógica e exigindo, portanto, ao desenvolvedor maior concentração, além de formação técnica rara entre os especialistas. Este cenário propicia a criação de metodologias e ferramentas que deem suporte ao desenvolvimento nesta plataforma. Este trabalho tem por objetivo utilizar o método formal Communicating X-Machine na construção de aplicações RSSF, oferecendo uma abordagem intuitiva e um desenvolvimento modular, provendo ao programador elevação no nível de abstração, facilitando a construção de aplicações até a geração de código na linguagem de programa- ção nesC (plataforma TinyOS). Portanto, o presente trabalho pretende facilitar o desenvolvimento de aplicações, desde sua modelagem até a geração de código, proporcionando ao desenvolvedor o aumento no nível de abstração, melhor entendimento do problema através de seu particionamento e facilidade na construção de aplicações em RSSF. Wireless Sensor Network (WSN) has attracted the interest of researchers in applications development that operate on monitoring and control of physical phenomena, relying on its autonomy and exibility, and on its distributed nature and pervasive. If for one hand, this interest provides the development of new applications, on the other it increases its complexity and therefore costs. This is easily understood due their restrictive features, which make the crucial stages of software development (modeling, veri cation and testing) become a non-trivial task. The programming is carried out very close to the operating system (low level), favoring the distraction in the application of logic and thus requiring more concentration of the developer, as well as technical training, rare among experts. This scenario enables the creation of methodologies and tools that support development on this platform. This study aims to use the formal method called Communicating X-Machine in the construction of WSN applications, o ering an intuitive approach and a modular development, providing to the programmer a higher level of abstraction, making it easier to build applications until the code generation in nesC language programming (TinyOS platform). So, this paper aims to facilitate the development of applications, from their modeling until the code generation, providing to the developer an increase in the level of abstraction, a better understanding of the problem through its partitioning and ease of building WSN applications. Não informada 2016-02-18T19:39:18Z 2012-01-05 Dissertação BRAGA, Marcus de Lima. Geração automática de código para redes de sensores sem fio usando Communicating X-machine. 2012. 139f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Amazonas, Manaus, 2012. http://tede.ufam.edu.br/handle/tede/4887 por Acesso Aberto application/pdf Universidade Federal do Amazonas Faculdade de Tecnologia Brasil UFAM Programa de Pós-graduação em Engenharia Elétrica
institution TEDE - Universidade Federal do Amazonas
collection TEDE-UFAM
language por
topic Redes de Sensores Sem Fio
Communicating XMachine
Wireless Sensor Network
Componentes de Software
ENGENHARIAS: ENGENHARIA ELÉTRICA
spellingShingle Redes de Sensores Sem Fio
Communicating XMachine
Wireless Sensor Network
Componentes de Software
ENGENHARIAS: ENGENHARIA ELÉTRICA
Braga, Marcus de Lima
Geração automática de código para redes de sensores sem fio usando Communicating X-machine
topic_facet Redes de Sensores Sem Fio
Communicating XMachine
Wireless Sensor Network
Componentes de Software
ENGENHARIAS: ENGENHARIA ELÉTRICA
description Rede de Sensores Sem Fio (RSSF) tem despertado o interesse de pesquisadores no desenvolvimento de aplicações que atuem no monitoramento e controle de fenômenos físicos, apoiando-se em sua autonomia e exibilidade, e em sua natureza distribuída e pervasiva. Se por um lado, esse interesse proporciona o desenvolvimento de novas aplica- ções, por outro, eleva sua complexidade e consequentemente seus custos. Isto é facilmente entendido devido suas características restritivas, que fazem com que os estágios cruciais do desenvolvimento de software (modelagem, veri cação e testes) se tornem tarefas não triviais. A programação é realizada muito próxima ao sistema operacional (baixo nível), favorecendo a distração na aplicação da lógica e exigindo, portanto, ao desenvolvedor maior concentração, além de formação técnica rara entre os especialistas. Este cenário propicia a criação de metodologias e ferramentas que deem suporte ao desenvolvimento nesta plataforma. Este trabalho tem por objetivo utilizar o método formal Communicating X-Machine na construção de aplicações RSSF, oferecendo uma abordagem intuitiva e um desenvolvimento modular, provendo ao programador elevação no nível de abstração, facilitando a construção de aplicações até a geração de código na linguagem de programa- ção nesC (plataforma TinyOS). Portanto, o presente trabalho pretende facilitar o desenvolvimento de aplicações, desde sua modelagem até a geração de código, proporcionando ao desenvolvedor o aumento no nível de abstração, melhor entendimento do problema através de seu particionamento e facilidade na construção de aplicações em RSSF.
author_additional Lucena Júnior, Vicente Ferreira de
author_additionalStr Lucena Júnior, Vicente Ferreira de
format Dissertação
author Braga, Marcus de Lima
author2 http://lattes.cnpq.br/3884377039846950
author2Str http://lattes.cnpq.br/3884377039846950
title Geração automática de código para redes de sensores sem fio usando Communicating X-machine
title_short Geração automática de código para redes de sensores sem fio usando Communicating X-machine
title_full Geração automática de código para redes de sensores sem fio usando Communicating X-machine
title_fullStr Geração automática de código para redes de sensores sem fio usando Communicating X-machine
title_full_unstemmed Geração automática de código para redes de sensores sem fio usando Communicating X-machine
title_sort geração automática de código para redes de sensores sem fio usando communicating x-machine
publisher Universidade Federal do Amazonas
publishDate 2016
url http://tede.ufam.edu.br/handle/tede/4887
_version_ 1831969360415031296
score 11.753735

Registros relacionados