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 contributionResearchpeer-review

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

Fingerprint

Model checking
Network protocols
Testing
Chemical analysis
Internet of things
Statistical Models

Fields of Expertise

  • Information, Communication & Computing

Cite this

Aichernig, B. K., & Schumi, R. A. (2018). How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols. In Quantitative Evaluation of Systems - 15th International Conference, QEST 2018 Springer. https://doi.org/10.1007/978-3-319-99154-2_3

How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols. / Aichernig, Bernhard K.; Schumi, Richard Alexander.

Quantitative Evaluation of Systems - 15th International Conference, QEST 2018. Springer, 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Aichernig, BK & Schumi, RA 2018, How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols. in Quantitative Evaluation of Systems - 15th International Conference, QEST 2018. Springer, 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018) , Beijing, China, 4/09/18. https://doi.org/10.1007/978-3-319-99154-2_3
Aichernig BK, Schumi RA. How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols. In Quantitative Evaluation of Systems - 15th International Conference, QEST 2018. Springer. 2018 https://doi.org/10.1007/978-3-319-99154-2_3
Aichernig, Bernhard K. ; Schumi, Richard Alexander. / How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols. Quantitative Evaluation of Systems - 15th International Conference, QEST 2018. Springer, 2018.
@inproceedings{086869ab5fdc48cc83f6ea019ffb3caf,
title = "How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols",
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.",
author = "Aichernig, {Bernhard K.} and Schumi, {Richard Alexander}",
year = "2018",
doi = "10.1007/978-3-319-99154-2_3",
language = "English",
booktitle = "Quantitative Evaluation of Systems - 15th International Conference, QEST 2018",
publisher = "Springer",

}

TY - GEN

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

AU - Aichernig, Bernhard K.

AU - Schumi, Richard Alexander

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-99154-2_3

DO - 10.1007/978-3-319-99154-2_3

M3 - Conference contribution

BT - Quantitative Evaluation of Systems - 15th International Conference, QEST 2018

PB - Springer

ER -