Exploitation of TRUCONF Results for a Publication at QEST 2018
We exploited the results of TRUCONF for a new application, for testing protocols of the Internet of Things (IoT). The work has been accepted at the QEST 2018.
Bernhard K. Aichernig and Richard Schumi: “How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols”. In Quantitative Evaluation of Systems – 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, Lecture Notes in Computer Science. Springer, 2018. (PDF)(doi:10.1007/978-3-319-99154-2_3)
The paper was presented at the International Conference on Quantitative Evaluation of Systems on Sep. 4-7 2018 in Beijing, China.
MQTT is one of the major messaging protocols in the Internet of things (IoT). In this work, we investigate the expected performance of MQTT implementations in various settings. We present a model-based performance testing approach that allows a fast simulation of specific usage scenarios in order to perform a quantitative analysis of the latency. Out of automatically generated log-data, we learn the distributions of latencies and apply statistical model checking to analyse the functional and timing behaviour. The result is a novel testing and verification technique for analysing the performance of IoT protocols. Two well-known open source MQTT implementations are evaluated and compared.