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.