Detection of Direct Conflicts in IoT Networks Using Maude

• Matheus de A. M. Pereira UFG
• Daniel Ventura UFG

DOI: https://doi.org/10.5753/wbl.2024.2556

Abstract

In this work we explore the conflict detection in distributed networks problem. We propose a logical concurrency model for the network and specify it in the Maude system, which will be able to simulate the network and detect possible conflicts.

References

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.