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

Bernhard K. Aichernig; Richard Alexander Schumi

doi:10.1007/978-3-319-99154-2_3

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 proceeding › Conference paper › peer-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 language	English
Title of host publication	Quantitative Evaluation of Systems - 15th International Conference, QEST 2018
Publisher	Springer
DOIs	https://doi.org/10.1007/978-3-319-99154-2_3
Publication status	Published - 2018
Event	15th International Conference on Quantitative Evaluation of SysTems (QEST 2018) - Beijing, China Duration: 4 Sept 2018 → 7 Sept 2018 http://www.qest.org/qest2018/

Conference

Conference	15th International Conference on Quantitative Evaluation of SysTems (QEST 2018)
Country/Territory	China
City	Beijing
Period	4/09/18 → 7/09/18
Internet address	http://www.qest.org/qest2018/

Fields of Expertise

Information, Communication & Computing

Access to Document

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

Dependable Internet of Things
Pernkopf, F. (Contact person), Zakany, N. (Contact person), Eichlseder, M. (Contact person), Saukh, O. (Contact person), Mangard, S. (Contact person), Steinbauer-Wagner, G. (Contact person), Knoll, C. (Attendee / Assistant), Tranninger, M. (Attendee / Assistant), Römer, K. U. (Consortium manager resp. coordinator of internal research units), Rath, M. (Attendee / Assistant), Kubin, G. (Contact person), Horn, M. (Contact person), Tappler, M. (Attendee / Assistant), Bloem, R. (Consortium manager resp. coordinator of internal research units), Weiser, S. (Attendee / Assistant), Leitinger, E. (Contact person), Ebrahimi, M. (Attendee / Assistant), Aichernig, B. (Contact person), Malenko, M. (Attendee / Assistant), Steinberger, M. (Contact person), Großwindhager, B. (Attendee / Assistant), Baunach, M. C. (Contact person), Witrisal, K. (Contact person), Teschl, R. (Contact person), Boano, C. A. (Contact person), Alothman Alterkawi, A. B. (Attendee / Assistant), Bösch, W. (Contact person) & Grosinger, J. (Contact person)
1/01/16 → 31/03/22
Project: Research project

How Fast is MQTT? Statistical Model Checking and Testing of MQTT Latencies
Schumi, R. A. (Speaker)
6 Sept 2018
Activity: Talk or presentation › Poster presentation › Science to science

Cite this

@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",

address = "United States",

note = "15th International Conference on Quantitative Evaluation of SysTems (QEST 2018) ; Conference date: 04-09-2018 Through 07-09-2018",

url = "http://www.qest.org/qest2018/",

}

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 paper

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

PB - Springer

T2 - 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018)

Y2 - 4 September 2018 through 7 September 2018

ER -

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

Abstract

Conference

Fields of Expertise

Access to Document

Fingerprint

Projects

Dependable Internet of Things

Activities

How Fast is MQTT? Statistical Model Checking and Testing of MQTT Latencies

Cite this