A aplicação eficiente de agrotóxicos é um desafio na produção agrícola, mesmo considerando os avanços com a agricultura de precisão. O efeito deriva é o principal responsável pela ineficiência no controle das pragas ou doenças, pelo desperdício de recursos e pela contaminação ambiental. Para minimizar a deriva é essencial conhecer as condições ambientais como vento, temperatura e umidade. Esta pesquisa propõe o uso das redes de sensores sem fio como sistema de monitoramento ambiental e de suporte ao processo de pulverização agrícola, especialmente a pulverização executada por aeronave. São propostas três funcionalidades para o sistema: avaliação das condições ambientais, verificando se as condições estão apropriadas para a pulverização, buscando minimizar a ocorrência da deriva; suporte na definição e manutenção da rota do veículo pulverizador por meio dos dados do vento, de modo a efetuar ajustes na rota de pulverização e manter a aplicação do defensivo agrícola na área alvo; e a avaliação da eficácia da pulverização por meio dos dados da deposição do produto pulverizado coletados pela rede de sensores. Para viabilizar a utilização das redes de sensores sem fio no controle da deriva é proposto um protocolo de roteamento de dados que visa garantir a coleta dos dados pelos nós e a entrega para o veículo pulverizador, mesmo sendo ele um avião e se deslocando em alta velocidade. Para demonstrar a viabilidade do sistema proposto, foi desenvolvido um sistema de simulação computacional que considera os aspectos das redes de sensores sem fio e as características do protocolo de roteamento proposto. Os resultados demonstraram sua viabilidade, demonstrando que as redes de sensores sem fio podem ser utilizadas como suporte em um sistema de controle da deriva, incrementando a qualidade da pulverização, reduzindo custos e a contaminação ambiental. / The efficient application of low cost pesticides is a challenge for agricultural production. Pesticide drift is the major cause of money loss, inefficiency in crop disease control, and environmental contamination in the crop spraying process. At the time of application, it is essential to know the environmental conditions, such as wind, temperature and humidity to minimize contamination by pesticide drift. This study proposes the use of wireless sensor networks in a support and control system for crop spraying, especially in aircraft application methods. Three system functionalities are proposed: In the first case, the sensor network evaluates environmental data at the time of application to notify the user if the environmental conditions are suitable for continuing with the application. The second case evaluates the wind speed and its direction to suggest corrections in the path of a spray vehicle. Due to this alteration in the vehicle path, the pesticide will be applied only in the appropriate area. The final case involves collecting data samples and analyzing the quality of the spraying operation by evaluating the deposition of pesticide over the crop. This work proposes a new routing data protocol to make possible the use of wireless sensor networks in aerial crop spraying. It ensures that the sensor node data will be delivered to the sink node. Through computer simulations, wireless sensor networks are shown to be useful in crop spraying to minimize and to control pesticide drift, to improve the quality of application, to reduce environmental contamination and to reduce costs and the duration of the application operation.

Este trabalho apresenta um estudo da instrumentalização de software em Redes de Sensores Sem Fio, complementado pela aplicação, em um estudo de caso, de uma instrumentalização. A proposta da instrumentalização visa ampliar o conhecimento sobre essas redes em termos de desempenho, permitindo ao usuário tomar decisões suportadas pelo instrumento. Nesse sentido, foi realizada a abordagem conceitual em termos de Redes de Sensores Sem Fio, da tendência de padronização para essas redes e de instrumentalização por meio de software. Para a comprovação dos benefícios da adoção da utilização do conceito de instrumentalização de software nessas redes, foi desenvolvida uma rede de sensores utilizando esses conceitos, na qual foi possível avaliar o perfil dos aspectos temporais e da manutenção da qualidade da conexão. Os resultados obtidos evidenciam que é possível conhecer, com maiores detalhes, o comportamento da rede, o que melhora a qualidade da tomada de decisão do usuário em relação à sua utilização em aplicações com restrições temporais, nas quais os tempos de resposta envolvidos devem respeitar os limites máximos permitidos. / This thesis aims at the study of software instrumentation handling in terms of wireless sensor networks which is supplemented with the its application in a case study. The instrumentation purposes go towards the networks knowledge extension concerning its performance by allowing the user to make decisions based on software instrument reading. In this sense, a conceptual approach was performed which takes the wireless sensor network into account as well as the trend of standardization for these networks and the software instrumentation itself. In order to confirm the benefits on adopting the usage of software instrumentation concept on these networks, a wireless sensor network was developed using these concepts. In this sense, it was possible to evaluate the timing aspects profile and the link quality maintenance. The results show that is possible to know about the behavior of the network in details. By doing this, the quality of the users decision-making regarding their use in applications with time constraints, in which response time involved should respect the maximum allowable limits, has been improved.

O recente surgimento de um novo conceito que propõe a integração do mundo físico com sistemas computacionais leva as redes de sensores a serem unicamente parte de um processo colaborativo para fins de integração, com um objetivo maior do que só observar o ambiente. Este novo conceito é conhecido como Sistema Ciber-Físico (tradução do inglês Cyber Physical System - CPS), e consiste numa rede de elementos que atuam entre o meio físico e as aplicações computacionais (Sensoriamento - Atuação - Controle - Aplicação), concluindo num sistema de gestão capaz de agrupar diversas aplicações com capacidade de funcionamento autônomo, assim como distribuído. Entretanto, para que esta tecnologia se torne viável para os diversos contextos do mundo físico, é necessário considerar as limitações dos elementos computacionais que a integram e, para o caso, essas limitações passam a ser maiores quando se trata de uma rede de sensores. Este trabalho de tese tem foco na camada de sensoriamento, discute inicialmente alguns dos pressupostos supracitados e define algumas características e requisitos dos CPS necessárias para a padronização de alguns processos. Propõe também o desenvolvimento de uma Plataforma para redes de sensores em Sistemas Ciber-Físicos, um middleware, capaz de se adaptar às limitações e necessidades, que serão apresentadas posteriormente numa aplicação exemplo. Como primeiro ponto: i) O trabalho apresenta as necessidades para estes tipos de sistemas e aborda definições relevantes; ii) Discute-se a definição em camadas do middleware CiberSens iii) Aplicação da proposta numa aplicação-exemplo. Do primeiro ponto: Os CPS constituem uma pesquisa relativamente nova, como resultado, muitos aspectos precisam ser definidos com o intuito de facilitar o entendimento da arquitetura e implementçã. Do segundo ponto: Os dispositivos transdutores representam um papel de relevante importância nas diversas aplicações, na área de automação residencial e nas aplicações biomédicas, esta última com exponencial crescimento de aplicações que procuram melhorar a qualidade de vida dos pacientes. Nesse contexto, se faz necessário um minucioso estudo dos conceitos e características que dever~ao ser consideradas no desenho em camadas da plataforma de gerenciamento para redes de sensores em CPS. No desenho a flexibilidade do sistema dever´a estar sujeita ao fácil domínio e controle por parte de usuário final, que será o verdadeiro responsável pelo funcionamento do Sistema Ciber-Físico e da aplicação em curso. Do terceiro ponto: Com o intuito de eliminar possíveis erros e identificar limitações no uso do sistema por parte dos atores do sistema (usuário e administrador), além de demonstrar a viabilidade da proposta, é levado o modelamento e definição de conceitos para sua aplicação num caso real. Nesta etapa é realizada simultaneamente a implementação de um módulo integrador encarregado da captura e abstração de protocolos na camada de comunicação e conexão com o módulo de armazenamento, e a camada de serviços. Uma avaliação é necessária não só para validar a técnica e o modelo utilizado na implementação da arquitetura do CiberSens e sim também para determinar a confiabilidade da comunicação e eficácia ante um evento critico, a validação acontece através da formalização de processos de controle, sensoriamento e atuação com a ferramenta SysML. / Recently, the emergence of a new concept that proposes the integration of the physical world with computing systems, is taking sensor networks to be only part of a collaborative process with a larger goal than just observing the environment. This new paradigm is known as Cyber-Physical Systems, and consists of a network of elements that act between the physical environment and computational applications (Sensing - Actuation - Control - Application), ending in a management system able to group several applications with standalone and distributed operation capabilities. However, to this technology become viable for the diverse contexts of the physical world, it is necessary to consider the limitations of computational elements that compose it, and in this case, these limitations increase when it comes to sensor networks. This thesis focuses on the sensing layer, discusses some of the assumptions aforementioned and defines some characteristics and requirements of the CPS necessary to standardize some processes. It also proposes the development of a platform for sensor networks on Cyber-Physical Systems, a service-oriented middleware capable of adapting the limitations and needs presented later in a use case. As first item: i) The document presents the requirements for these types of systems and approaches relevant definitions. Secondly: ii) It is discussed the layered definition of the CiberSens service-oriented middleware. And third: iii) It is presented the proposal implementation in application-example. From the first item: The CPS are a relatively new field of research, as a result, many aspects need to be defined in order to simplify the understanding of the architecture and implementation. From the second item: The transducer devices have a relevant role on diverse applications used on the fields of home automation and in biomedical applications, the latter with an exponential growth of applications that try to improve the quality of life of patients. In this context, it is necessary a detailed study of the concepts and characteristics that should be considered during the layered design of the management platform for sensor networks in CPS. In the design, the system flexibility should be subject to an easy control and domain by the end user, who will be responsible for the actual functioning of the Cyber-Physical System and the ongoing application. From the third item: In order to eliminate possible errors, identify limitations in the system use by the system actors (user and administrator), and demonstrate the feasibility of the proposal, the modeling and concepts definition are applied in a real case. On this step is performed simultaneously an efficiency evaluation of the protocols capture and abstraction methods in the communication layer, the storage modulus, and the services layer. The evaluation is needed not only to validate the technique and the model used in the CiberSens architecture implementation, but also to determine the reliability the of communication and the effectiveness facing a critical event, validation occurs through the control process formalization, sensing and actuation, with SysML tool.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-08-01T14:53:33Z No. of bitstreams: 1 Higo Felipe.pdf: 3289455 bytes, checksum: 294f49f96fd41d35ca0024df16006292 (MD5) / Made available in DSpace on 2017-08-01T14:53:33Z (GMT). No. of bitstreams: 1 Higo Felipe.pdf: 3289455 bytes, checksum: 294f49f96fd41d35ca0024df16006292 (MD5) Previous issue date: 2017-01-26 / CAPES / Lately, there has been a significant advance in several technologies directly or indirectly related to Ubiquitous Computing. Among them, the technology of Wireless Sensor Networks (WSNs) can be mentioned. Having its space in the current scenario, the use of wireless sensors extends into various branches of human activity: industrial monitoring, smart houses, medical and military applications. However, several shortcomings and limitations in wireless sensors can be noted: limited hardware, energy and computational capacity are points that are always treated by those who work with such devices. As for these devices, there is, besides the factors already mentioned, an important concern regarding their safety. As with other devices, for these threats to be at least mitigated, it is necessary to create layers of security. One of these layers may be formed by Intrusion Detection Systems (IDS). However, due to the aforementioned hardware restriction of the sensors, the development of IDSs - as well as any other application - for such devices should assume such characteristics. As for IDSs, there are some aspects that need to be taken into account, especially flexibility, efficiency and adaptability to new situations. A paradigm that facilitates the implementation of such capabilities is the Intelligent Agents. Therefore, this paper describes the proposition of a framework for intrusion detection in WSNs based on intelligent agents. / Ultimamente, houve um avanço significativo em várias tecnologias direta ou indiretamente correlatas à Computação Ubíqua. Entre elas, pode-se citar a tecnologia das Redes de Sensores sem Fio (WSN s). Tendo já o seu espaço no atual cenário, o uso dos sensores sem fio se estende em vários ramos da atividade humana: monitoramento industrial, smart houses, aplicações médicas e militares. Entretanto, várias deficiências e limitações em sensores sem fio podem ser notadas: recursos limitados de hardware, energia e capacidade computacional são pontos a sempre serem tratados por quem trabalha com tais dispositivos. Quanto a esses dispositivos há, além dos fatores já citados, uma preocupação importante referente á sua segurança. Assim como em outros dispositivos, para que essas ameaças sejam, ao menos, mitigadas é necessário criar camadas de segurança. Uma dessas camadas pode ser formada pelos Sistemas de Detecção de Intrusão (IDS). No entanto, devido à já mencionada restrição de hardware dos sensores, o desenvolvimento de IDSs bem como qualquer outra aplicação para esses dispositivos deve supor tais características. No que se refere, ainda, aos IDSs, há alguns aspectos que devem ser levados em conta, sobretudo flexibilidade, a eficiência e a capacidade de adaptação a novas situações. Um paradigma que facilita a implementação de tais capacidades são os Agentes Inteligentes. Sendo assim, este trabalho descreve a proposta de um framework para detecção de intrusões em WSNs baseado em agentes inteligentes.

Esta dissertação tem por objetivo propor algoritmos para conservação de energia de uma rede de sensores sem fio (RSSF) aplicada ao monitoramento de um processo suave f(x , y, t), que depende das coordenadas x e y dos nós sensores, e do tempo t, de forma a aumentar a autonomia da rede. Os algoritmos rodam na camada de aplicação de cada nó, e visam a economia de energia dos nós através do gerenciamento da necessidade de transmissões. Após a primeira amostra transmitida, apenas amostras com uma variação percentual maior do que um dado limiar são transmitidas. Além disso, cada nó pode permanecer inativo (economizando energia) entre essas transmissões. Em RSSfs de salto único, são propostos dois algoritmos: um baseado na fonte, onde cada nó é responsável por todo o processamento e tomada de decisões, e outro baseado no sorvedouro, onde todo o processamento e a tomada de decisões são realizadas pelo sorvedouro. Além disso, uma extensão de algoritmo baseado na fonte é proposta, para RSSFs de múltiplos saltos. Através dos resultados obtidos, observa-se que os algoritmos conseguiram uma redução significativa da quantidade de transmissões, o que leva a um aumento do tempo de vida e o erro na reconstrução do processo é apresentada. Desta forma, pode-se conjugar a relação entre tempo de vida máximo e erro de reconstrução mínimo. / This paper aims to propose algorithms for energy conservation in a wireless sensor network (WSN) applied to monitoring a smooth process f (x, y, t), which depends on x and y coordinates of the sensor nodes, and the time t so as to increase the autonomy of the network. The algorithms run in the application layer of each node, and are designed to save energy of the nodes through the management of the need for transmissions. Furthermore, each node can remain idle (saving energy) between these transmissions. In single hop WSNs, we propose two algorithms: one based on the source, where each node is responsible for all processing and decision making, and another based on the sink, where all processing and decision making are performed by the sink. In addition, an algorithm based on the extent of power is proposed for multi-hop WSNs. From the results obtained, it is observed that the algorithms have achieved a significant reduction of the number of transmissions, which leads to an increase in the life time and the error in the reconstruction process is presented. In this way, one can combine the relationship between maximum life span and minimum reconstruction error.

Made available in DSpace on 2014-12-17T15:47:54Z (GMT). No. of bitstreams: 1 TaniroCR_DISSERT.pdf: 2000139 bytes, checksum: 735cb695e5e427f975c5c2630eff3731 (MD5) Previous issue date: 2011-02-21 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Research on Wireless Sensor Networks (WSN) has evolved, with potential applications in several domains. However, the building of WSN applications is hampered by the need of programming in low-level abstractions provided by sensor OS and of specific knowledge about each application domain and each sensor platform. We propose a MDA approach do develop WSN applications. This approach allows domain experts to directly contribute in the developing of applications without needing low level knowledge on WSN platforms and, at the same time, it allows network experts to program WSN nodes to met application requirements without specific knowledge on the application domain. Our approach also promotes the reuse of the developed software artifacts, allowing an application model to be reused across different sensor platforms and a platform model to be reused for different applications / A pesquisa sobre Redes de Sensores Sem Fio (RSSF) evoluiu bastante ao longo dos ?ltimos anos com aplica??es potenciais em diversos dom?nios. No entanto, o desenvolvimento de aplica??es de RSSF ? uma tarefa complexa, dentre outros fatores, pela necessidade da programa??o no (baixo) n?vel de abstra??o provido pelo sistema operacional dos sensores e de conhecimentos espec?ficos, tanto dos diferentes dom?nios de aplica??es quanto das diferentes plataformas de sensores existentes. Neste trabalho, ? proposta uma abordagem MDA para o desenvolvimento de aplica??es de RSSF, que visa facilitar a tarefa dos desenvolvedores. Esta abordagem permite a contribui??o direta dos especialistas em dom?nio no desenvolvimento de aplica??es de RSSF sem precisar de conhecimento espec?fico de programa??o em plataformas de RSSF e, ao mesmo tempo permite que especialistas em rede programem sensores aderentes aos requisitos da aplica??o sem a necessidade de conhecimento espec?fico do dom?nio da aplica??o. A abordagem proposta tamb?m promove a reutiliza??o de artefatos de software desenvolvidos, permitindo um modelo de aplica??o ser reutilizado em diferentes plataformas de sensores e que o modelo possa ser reutilizado em diferentes aplica??es

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-06-12T13:26:16Z No. of bitstreams: 1 GUSTAVO NÓBREGA MARTINS - DISSERTAÇÃO PPGCC 2016..pdf: 8931631 bytes, checksum: c124b37676d2bb06f4200b3eb548a6dd (MD5) / Made available in DSpace on 2018-06-12T13:26:16Z (GMT). No. of bitstreams: 1 GUSTAVO NÓBREGA MARTINS - DISSERTAÇÃO PPGCC 2016..pdf: 8931631 bytes, checksum: c124b37676d2bb06f4200b3eb548a6dd (MD5) Previous issue date: 2016-08-26 / Capes / As Redes de Sensores Sem Fio (RSSF) têm ganhado notoriedade em vários contextos de aplicações (e.g. aplicações militares, médicas e ambientais) em razão dos avanços obtidos no âmbito das tecnologias de sistemas eletromecânicos em escala micrométrica (Microscale Electro-Mechanical Systems - MEMS) e nanométrica (Nanoscale Electro-Mechanical Systems - NEMS). Esses progressos implicaram no desenvolvimento de nós sensores com menor custo, tamanho reduzido e com maior eficiência no consumo de energia. Mesmo diante dos avanços tecnológicos obtidos, os sensores sem fio ainda apresentam algumas restrições de processamento e memória, além do fornecimento de energia limitado devido ao uso de baterias como fonte de energia. Parte das pesquisas realizadas no âmbito das RSSF tem utilizado ferramentas de simulação para validar os achados de pesquisa devido ao menor custo e tempo exigidos por essa abordagem. Entretanto, algumas investigações apontaram que ferramentas de simulação em RSSF não contemplam fatores importantes que podem influenciar o desempenho das redes, como também questiona a confiabilidade dos resultados dessas ferramentas. Este trabalho de dissertação visou avaliar a confiabilidade do simulador de RSSF, Castália, com base em testbed no tocante a dois protocolos de comunicação: LEACH e Protocolo de Comunicação Direta. Resultados apontaram que o Castália, referente ao protocolo LEACH, superestimou o tempo de vida da rede com carga de tráfego estatisticamente equivalente. Em relação ao protocolo de Comunicação Direta, não houve equivalência de dados trafegados, bem como o tempo de vida também foi superestimado, além de não apresentar diferença nos resultados do tempo de vida entre os nós da rede, indicando um comportamento de descarga determinístico. Os achados deste trabalho demonstram que ferramentas de simulação trouxe significativos avanços no âmbito das RSSF, entretanto as saídas obtidas por meio dessas ferramentas ainda não podem representar com exatidão alguns cenários modelados em RSSF. / The Sensors Wireless Networks (WSN) have gained notoriety in various application contexts (e.g. military applications, medicai and environmental) due to the advances achieved in Microscale Electro Mechanical Systems - MEMS and Nanoscale Electro Mechanical Systems - NEMS. These growth resulted in sensors development with lower cost, reduced size and higher efficiency in energy consumption. Even with these technological advances, wireless sensors still have some constrains on processing and memory, in addition, the limited power source from batteries also is a challenge.

Orientador: Nobuo Oki / Resumo: A utilização de redes de comunicação sem fio deixou de ser uma ferramenta opcional para tornar-se uma necessidade no monitoramento de residências, automóveis, controles de processos automatizados e comunicação entre as pessoas. Tratando-se de redes de transdutores cabeadas, as redes CAN (Controller Area Network) são utilizadas em automóveis modernos, instrumentação médica, em veículos táticos, na automação de processos, no transporte metropolitano e em sistemas de controle de fábricas. A maioria das estruturas críticas de sistemas de controle fazem uso do CAN em algum ponto na rede, para conectar sensores que se encontram distantes e controlar atuadores de um sistema, ou para conectar vários controladores que utilizam uma interface em comum. O padrão sem fio, IEEE 802.15.4, comercialmente conhecido como “ZigBee”, foi projetado para operar em baixas taxas de dados, com segurança e facilidade de configurações de rede. Esta tese tem como objetivo desenvolver um sistema heterogêneo utilizando microcontroladores ATMEGA em que, o modelo do protocolo CAN e o padrão IEEE 802.15.4 estejam acoplados. Este módulo será capaz de gerenciar e monitorar sensores e atuadores utilizando CAN e, através do padrão sem fio 802.15.4, comunicar-se com os outros módulos da rede. O interfaceamento entre os pacotes da rede de controle de área (CAN) com a rede ZigBee é realizado através da implementação de tabelas de dispersão (Hash Tables) para o gerenciamento e otimização da memória utilizada. As anál... (Resumo completo, clicar acesso eletrônico abaixo) / Doutor

[pt] Programar redes de sensores sem fio (RSSF) é uma tarefa difícil. O programador tem que lidar com várias atividades simultâneas em um ambiente com recursos extremamente limitados. Neste trabalho propomos um modelo de programação para facilitar essa tarefa. O modelo que propomos combina o uso de máquinas virtuais configuráveis baseadas em componentes com uma linguagem de script reativa que pode ser analisada estaticamente para evitar conitos de memória e execução de laços infinitos. Essa abordagem permite a exibilidade de carregamento remoto de código nos nós da rede combinado com um conjunto de garantias para o programador. A escolha de um conjunto específico de componentes numa configuração de máquina virtual define o nível de abstração visto pelo script da aplicação. Para avaliar esse modelo, construímos Terra, um sistema que combina a linguagem de script Céu-T com uma máquina virtual e uma biblioteca de componentes. Nós projetamos esta biblioteca considerando as funcionalidades comumente necessárias em aplicações de RSSF - tipicamente para sensoreamento e controle. Implementamos diferentes aplicações utilizando Terra e uma linguagem orientada a eventos baseados em C. Além disso discutimos as vantagens e desvantagens dessas implementações alternativas. Finalmente, também avaliamos Terra medindo o custo adicional em uma aplicação básica e discutimos sua utilização e custo em diferentes cenários de aplicações WSNs. / [en] Programming wireless sensors networks (WSN) is a difficult task. The programmer must deal with several concurrent activities in an environment with severely limited resources. In this work we propose a programming model to facilitate this task. The model we propose combines the use of configurable component-based virtual machines with a reactive scripting language which can be statically analyzed to avoid unbounded execution and memory conicts. This approach allows the exibility of remotely uploading code on motes to be combined with a set of guarantees for the programmer. The choice of the specific set of components in a virtual machine configuration defines the abstraction level seen by the application script. To evaluate this model, we built Terra, a system combining the scripting language Céu-T with the Terra virtual machine and a library of components. We designed this library taking into account the functionalities commonly needed in WSN applications - typically for sense and control. We implemented different applications using Terra and using an event-driven language based on C and we discuss the advantages and disadvantages of the alternative implementations. Finally, we also evaluate Terra by measuring its overhead in a basic application and discussing its use and cost in different WSN scenarios.

[pt] Apesar da pesquisa contínua para facilitar a programação de redes de sensores sem fio, a análise de perigos de concorrência ainda é de responsabilidade do programador, que deve tratar manualmente de questões como sincronização e memória compartilhada. Nós apresentamos uma linguagem de sistema que garante concorrência segura tratando ameaças em tempo de compilação. A fundamentação estática e síncrona da nossa abordagem permite um raciocínio mais simples sobre questões de concorrência, permitindo uma análise em tempo de compilação que garante programas determinísticos. Como contra-partida, nosso modelo impõe em termos da expressividade da linguagem, tais como para efetuar cálculos demorados, ou atender prazos estritos em tempo real. Nós implementamos diversos protocolos de rede conhecidos e o driver para rádio CC2420 para mostrar que a expressividade e responsividade obtida com a linguagem é suficiente para uma gama considerável de aplicações para redes de sensores. As implementações mostram uma redução de tamanho de código, com um aumento de memória abaixo de 10 porcento em comparação com nesC. O uso da linguagem proposta implica em diversas propriedades de segurança que se baseiam em abstrações de controle de alto nível, também resultando em código mais conciso e legível. / [en] Despite the continous research to facilitate Wireless Sensor Networks development, most safety analysis and mitigation efforts in concurrency are still left to developers, who must manage synchronization and shared memory explicitly. We propose a system language that ensures safe concurrency by handling threats at compile time, rather than at runtime. The synchronous and static foundation of our design allows for a simple reasoning about concurrency that enables compile-time analysis resulting in deterministic and memory-safe programs. As a trade-off, our design imposes limitations on the language expressiveness, such as doing computationally-intensive operations and meeting hard real-time responsiveness. To show that the achieved expressiveness and responsiveness is sufficient for a wide rage of WSN applications, we implement widespread network protocols and the CC2420 radio driver. The implemetations show a reduction in source code size, with a penalty of memory increase below 10 percent in comparison to nesC. Overall, we ensure safety properties for programs relying on high-level control abstractions that also lead to concise and readable code.