How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols

Bernhard K. Aichernig, Richard Alexander Schumi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.
Original languageEnglish
Title of host publicationQuantitative Evaluation of Systems - 15th International Conference, QEST 2018
PublisherSpringer
DOIs
Publication statusPublished - 2018
Event15th International Conference on Quantitative Evaluation of SysTems (QEST 2018) - Beijing, China
Duration: 4 Sep 20187 Sep 2018
http://www.qest.org/qest2018/

Conference

Conference15th International Conference on Quantitative Evaluation of SysTems (QEST 2018)
CountryChina
CityBeijing
Period4/09/187/09/18
Internet address

Fields of Expertise

  • Information, Communication & Computing

Fingerprint Dive into the research topics of 'How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols'. Together they form a unique fingerprint.

Cite this