Detecção de conflitos diretos em redes IoT utilizando o Maude
Resumo
Neste trabalho exploramos o problema de detecção de conflitos em redes distribuídas utilizando lógica de reescrita. Propomos um modelo lógico e concorrente para a rede e realizamos a sua especificação no software Maude, que será utilizado para simular a rede e detectar possíveis problemas.Referências
Adamczyk, C. and Kliks, A. (2023). Conflict mitigation framework and conflict detection in o-ran near-rt ric. IEEE Communications Magazine, 61(12):199–205.
Al Farooq, A., Al-Shaer, E., Moyer, T., and Kant, K. (2019). Iotc2: A formal method approach for detecting conflicts in large scale iot systems. In 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), pages 442–447.
Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J., Rubio, R., and Talcott, C. (2020). Programming and symbolic computation in maude. Journal of Logical and Algebraic Methods in Programming, 110:100497.
Lee, S. K., Bae, M., and Kim, H. (2017). Future of iot networks: A survey. Applied Sciences, 7(10).
Meseguer, J. (2012). Twenty years of rewriting logic. The Journal of Logic and Algebraic Programming, 81(7):721–781. Rewriting Logic and its Applications.
Pradeep, P. and Kant, K. (2022). Conflict detection and resolution in iot systems: A survey. IoT, 3(1):191–218.
Al Farooq, A., Al-Shaer, E., Moyer, T., and Kant, K. (2019). Iotc2: A formal method approach for detecting conflicts in large scale iot systems. In 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), pages 442–447.
Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J., Rubio, R., and Talcott, C. (2020). Programming and symbolic computation in maude. Journal of Logical and Algebraic Methods in Programming, 110:100497.
Lee, S. K., Bae, M., and Kim, H. (2017). Future of iot networks: A survey. Applied Sciences, 7(10).
Meseguer, J. (2012). Twenty years of rewriting logic. The Journal of Logic and Algebraic Programming, 81(7):721–781. Rewriting Logic and its Applications.
Pradeep, P. and Kant, K. (2022). Conflict detection and resolution in iot systems: A survey. IoT, 3(1):191–218.
Publicado
21/07/2024
Como Citar
PEREIRA, Matheus de A. M.; VENTURA, Daniel.
Detecção de conflitos diretos em redes IoT utilizando o Maude. In: WORKSHOP BRASILEIRO DE LÓGICA (WBL), 5. , 2024, Brasília/DF.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2024
.
p. 17-26.
ISSN 2763-8731.
DOI: https://doi.org/10.5753/wbl.2024.2556.
