Uma Máquina de Estados para Especificação de Códigos de Simulação para Redes de Sensores sem Fio Urbanas
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.
Referências
Araújo, G., Tostes, A., de LP Duarte-Figueiredo, F., and Loureiro, A. (2014). Um protocolo de identificação e minimização de congestionamentos de tráfego para redes vei culares. XXXII Simp. Bras. de Redes de Computadores e Sistemas Distribuídos, pages 207–220.
Cañete, E., Chen, J., Díaz, M., Llopis, L., and Rubio, B. (2011). A service-oriented approach to facilitate wsan application development. Ad Hoc Networks, 9(3):430–452.
Carrero, M. A., da Silva, R. I., dos Santos, A. L., and Hara, C. S. (2015). An autonomic in-network query processing for urban sensor networks. In 20th IEEE Symp. on Computers and Communications (ISCC), pages 968–973.
Carrero, M. A., Musicante, M. A., dos Santos, A. L., and Hara, C. S. (2017). A reusable component-based model for WSN storage simulation. In Proceedings of the 13th ACM Symposium on QoS and Security for Wireless and Mobile Networks, pages 31–38.
Cecílio, J. and Furtado, P. (2012). A state-machine model for reliability eliciting over wireless sensor and actuator networks. Procedia Computer Science, 10:422–431.
Cremonezi, B. M., Vieira, A. B., Nogueira, M., and Nacif, J. A. (2017). Um protocolo de alocação dinâmica de canais para ambientes médicos sob múltiplas estações base. In XXXV Simp. Bras. de Redes de Computadores e Sistemas Distribuídos, pages 272–285.
Desai, A., Gupta, V., Jackson, E., Qadeer, S., Rajamani, S., and Zufferey, D. (2013). P: safe asynchronous event-driven programming. ACM SIGPLAN Notices, 48(6):321–332.
Filho, G. P., Ueyama, J., Faiçal, B. S., Guidoni, D. L., and Villas, L. A. (2015). Residi: Um sistema de decisão inteligente para infraestruturas residenciais via sensores e atuadores sem fio. In XXXIII Simp. Bras. de Redes de Computadores e Sistemas Distribuídos, pages 53–66.
Furlaneto, S. S., dos Santos, A. L., and Hara, C. S. (2012). An efficient data acquisition model for urban sensor networks. In 13th IEEE/IFIP Network Operations and Management Symposium (NOMS), pages 113–120.
Gonçalves, N. M., dos Santos, A. L., and Hara, C. S. (2012). Dysto-a dynamic storage model for wireless sensor networks. Journal of Information and Data Management, 3(3):147–162.
Krämer, M., Bader, S., and Oelmann, B. (2013). Implementing wireless sensor network applications using hierarchical finite state machines. In 10th IEEE Int. Conf. on Networking, Sensing and Control, pages 124–129.
Le, T. D., Pham, N. D., and Choo, H. (2008). Towards a distributed clustering scheme based on spatial correlation in wsns. In International Wireless Communications and Mobile Computing Conference, pages 529–534.
Malavolta, I. and Muccini, H. (2014). A study on mde approaches for engineering wireless sensor networks. In 40th EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA), pages 149–157.
Muñoz, C. and Leone, P. (2017). A distributed event-based system based on compressed fragmented-iterated bloom filters. Future Generation Computer Systems, 75:108–127.
Taherkordi, A., Johansen, C., Eliassen, F., and Römer, K. (2015). Tokenit: Designing state-driven embedded systems through tokenized transitions. In 2015 Int. Conf. on Distributed Computing in Sensor Systems (DCOSS), pages 52–61.
Cañete, E., Chen, J., Díaz, M., Llopis, L., and Rubio, B. (2011). A service-oriented approach to facilitate wsan application development. Ad Hoc Networks, 9(3):430–452.
Carrero, M. A., da Silva, R. I., dos Santos, A. L., and Hara, C. S. (2015). An autonomic in-network query processing for urban sensor networks. In 20th IEEE Symp. on Computers and Communications (ISCC), pages 968–973.
Carrero, M. A., Musicante, M. A., dos Santos, A. L., and Hara, C. S. (2017). A reusable component-based model for WSN storage simulation. In Proceedings of the 13th ACM Symposium on QoS and Security for Wireless and Mobile Networks, pages 31–38.
Cecílio, J. and Furtado, P. (2012). A state-machine model for reliability eliciting over wireless sensor and actuator networks. Procedia Computer Science, 10:422–431.
Cremonezi, B. M., Vieira, A. B., Nogueira, M., and Nacif, J. A. (2017). Um protocolo de alocação dinâmica de canais para ambientes médicos sob múltiplas estações base. In XXXV Simp. Bras. de Redes de Computadores e Sistemas Distribuídos, pages 272–285.
Desai, A., Gupta, V., Jackson, E., Qadeer, S., Rajamani, S., and Zufferey, D. (2013). P: safe asynchronous event-driven programming. ACM SIGPLAN Notices, 48(6):321–332.
Filho, G. P., Ueyama, J., Faiçal, B. S., Guidoni, D. L., and Villas, L. A. (2015). Residi: Um sistema de decisão inteligente para infraestruturas residenciais via sensores e atuadores sem fio. In XXXIII Simp. Bras. de Redes de Computadores e Sistemas Distribuídos, pages 53–66.
Furlaneto, S. S., dos Santos, A. L., and Hara, C. S. (2012). An efficient data acquisition model for urban sensor networks. In 13th IEEE/IFIP Network Operations and Management Symposium (NOMS), pages 113–120.
Gonçalves, N. M., dos Santos, A. L., and Hara, C. S. (2012). Dysto-a dynamic storage model for wireless sensor networks. Journal of Information and Data Management, 3(3):147–162.
Krämer, M., Bader, S., and Oelmann, B. (2013). Implementing wireless sensor network applications using hierarchical finite state machines. In 10th IEEE Int. Conf. on Networking, Sensing and Control, pages 124–129.
Le, T. D., Pham, N. D., and Choo, H. (2008). Towards a distributed clustering scheme based on spatial correlation in wsns. In International Wireless Communications and Mobile Computing Conference, pages 529–534.
Malavolta, I. and Muccini, H. (2014). A study on mde approaches for engineering wireless sensor networks. In 40th EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA), pages 149–157.
Muñoz, C. and Leone, P. (2017). A distributed event-based system based on compressed fragmented-iterated bloom filters. Future Generation Computer Systems, 75:108–127.
Taherkordi, A., Johansen, C., Eliassen, F., and Römer, K. (2015). Tokenit: Designing state-driven embedded systems through tokenized transitions. In 2015 Int. Conf. on Distributed Computing in Sensor Systems (DCOSS), pages 52–61.
Publicado
22/07/2018
Como Citar
CARRERO, Marcos; ZAMPRONI, Katriny; MUSICANTE, Martin A.; SANTOS, Aldri; HARA, Carmem.
Uma Máquina de Estados para Especificação de Códigos de Simulação para Redes de Sensores sem Fio Urbanas. In: SIMPÓSIO BRASILEIRO DE COMPUTAÇÃO UBÍQUA E PERVASIVA (SBCUP), 10. , 2018, Natal.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2018
.
p. 21-30.
ISSN 2595-6183.
DOI: https://doi.org/10.5753/sbcup.2018.3284.
