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

Bernhard K. Aichernig, Richard Alexander Schumi

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

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.
Originalspracheenglisch
TitelQuantitative Evaluation of Systems - 15th International Conference, QEST 2018
Herausgeber (Verlag)Springer
DOIs
PublikationsstatusVeröffentlicht - 2018
Veranstaltung15th International Conference on Quantitative Evaluation of SysTems (QEST 2018) - Beijing, China
Dauer: 4 Sept. 20187 Sept. 2018
http://www.qest.org/qest2018/

Konferenz

Konferenz15th International Conference on Quantitative Evaluation of SysTems (QEST 2018)
Land/GebietChina
OrtBeijing
Zeitraum4/09/187/09/18
Internetadresse

Fields of Expertise

  • Information, Communication & Computing

Fingerprint

Untersuchen Sie die Forschungsthemen von „How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren