Uma Máquina de Estados para Especificação de Códigos de Simulação para Redes de Sensores sem Fio Urbanas

Ubiquitous urban sensing systems face challenges related to the large number of sensors in the network and to the dynamicity of data generation. Individually, sensor activities are triggered in response to events. However, modeling the collaborative process requires the execution of functions that start not only in response to an event, but also based on a logical condition. This paper proposes a state machine with two types of transitions: event-based and logic-based. A case study which models a sensor storage system is presented. Its development using a framework of reusable components shows a correspondence between our machine and the code, which shows the machine usefulness for code development in simulation environments. Resumo. Os sistemas ubı́quos de sensoriamento urbano enfrentam desafios relacionados à grande quantidade de sensores na rede e à dinamicidade de geração de dados. Individualmente, os sensores reagem em resposta a eventos. No entanto, a modelagem do processo colaborativo exige mudanças de estado dos sensores não apenas como resposta a um evento, mas também por uma condição lógica. Este artigo propõe uma máquina de estados com dois tipos de transição: por evento e por lógica. Um estudo de caso que considera um modelo de armazenamento em sensores, desenvolvido com o apoio de um framework de componentes reusáveis, mostra uma correspondência entre a máquina proposta e o código, facilitando a sua implementação em ambientes de simulação.