About this document
MQTT Topic Hierarchy in IoT Protocols by DươngTK Vlogs is a document available to read on EtoBox.
This document presents a formal model of the MQTT IoT protocol developed using Coloured Petri Nets (CPNs). The model covers all three quality of service levels (at most once, at least once, exactly once). The model was validated through simulation and verified using model checking to check behavioral properties. The model found issues related to quality of service level implementations that could cause interoperability problems between different implementations of the MQTT protocol.
- Author
- DươngTK Vlogs
- Language
- EN