Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-02-18T18:24:40Z
No. of bitstreams: 1
Dissertação - Marcus de Lima Braga.pdf: 6450946 bytes, checksum: 146975a14889793868be80d04a6c46c5 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-02-18T19:37:05Z (GMT) No. of bitstreams: 1
Dissertação - Marcus de Lima Braga.pdf: 6450946 bytes, checksum: 146975a14889793868be80d04a6c46c5 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-02-18T19:39:18Z (GMT) No. of bitstreams: 1
Dissertação - Marcus de Lima Braga.pdf: 6450946 bytes, checksum: 146975a14889793868be80d04a6c46c5 (MD5) / Made available in DSpace on 2016-02-18T19:39:18Z (GMT). No. of bitstreams: 1
Dissertação - Marcus de Lima Braga.pdf: 6450946 bytes, checksum: 146975a14889793868be80d04a6c46c5 (MD5)
Previous issue date: 2012-01-05 / Não informada / 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. / 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.
| Identifer | oai:union.ndltd.org:IBICT/oai:http://localhost:tede/4887 |
| Date | 05 January 2012 |
| Creators | Braga, Marcus de Lima |
| Contributors | Lucena Júnior, Vicente Ferreira de, Lucena Junior, Vicente Ferreira de, Queiroz Neto, José Pinheiro de, Magalhães Netto, José Francisco de |
| Publisher | Universidade Federal do Amazonas, Programa de Pós-graduação em Engenharia Elétrica, UFAM, Brasil, Faculdade de Tecnologia |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações da UFAM, instname:Universidade Federal do Amazonas, instacron:UFAM |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | -5930111888266832212, 600 |
Page generated in 0.002 seconds