Publication Type : Conference Proceedings
Publisher : Data Communication and Networks, Springer Singapore
Source : Data Communication and Networks, Springer Singapore, Singapore, p.39-57 (2020)
Url : https://link.springer.com/chapter/10.1007/978-981-15-0132-6_4
ISBN : 9789811501326
Campus : Amritapuri
School : Department of Computer Science and Engineering, School of Engineering
Center : AI (Artificial Intelligence) and Distributed Systems
Department : Computer Science
Year : 2020
Abstract : With the rising demandArchana, E. for IoT devices, communication protocols like MQTT, CoAP, and many more, haveRajeev, Akshay become an integral part of the system to ensureKuruvila, Aby safe and reliable data transfer. Using lightweight communication protocols such as the Message QueuingNarayankutty, Revathi Telemetry Transport (MQTT) protocol makes it much easier to establish communication between distributed devicesKannimoola, Jinesh M. as it easily recovers from connectivity loss, component failures, and loss of packets. The pivotal contribution of this paper is the method of approach to formally model, analyze, and verify the Quality of Service (QoS) levels of the MQTT protocol. A complete analysis of the Quality of Service levels is performed to confirm that it behaves correctly as specified when used in communication between different components. Formal modeling has been done using PROMELA language and the model verification is done using a system verification tool called SPIN Model Checker.
Cite this Research Publication : E. Archana, Rajeev, A., Kuruvila, A., Narayankutty, R., and M. K. Jinesh, “A Formal Modeling Approach for QOS in MQTT Protocol”, Data Communication and Networks. Springer Singapore, Singapore, pp. 39-57, 2020.