Performance Analysis of Internet of Things Application Layer Protocol
| Autor: | Laid Kahloul, Manel Houimli, Siham Benaoune |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
MQTT
Computer science Reliability (computer networking) Distributed computing Interoperability 020206 networking & telecommunications 020207 software engineering 02 engineering and technology Formal methods Application layer Formal specification Scalability 0202 electrical engineering electronic engineering information engineering Protocol (object-oriented programming) |
| Zdroj: | Advances in Intelligent Systems and Computing ISBN: 9783319913360 |
| Popis: | This paper deals with the modeling and performance analysis of the widely used protocol in the Inernet of Things (IoT). Developing a successful IoT application or protocol is still not an easy task due to multiple challenges such as mobility, reliability, scalability, management, availability, interoperability, and security. Therefore, the implementation of protocols for IoT must comply the standards and satisfy the good properties. The formal methods can meet these conditions. The MQTT protocol is currently considered one of the most serious candidates for transporting data within IoT architectures. The contribution of this original paper is outlined in the formal modeling and performance evaluation of MQTT 3.1.1 using timed and probabilistic automata and statistical model checker, respectively, provided in UPPAAL SMC tool-set. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|