A systematic review on the data interoperability of application layer protocols in industrial IoT

A Amjad, F Azam, MW Anwar, WH Butt - Ieee Access, 2021 - ieeexplore.ieee.org
Due to the rising popularity of the Internet of Things (IoT), interconnected infrastructures with
better flexibility and efficiency are being developed for industry 4.0. The use of IoT in industry …

Mqtt+ enhanced syntax and broker functionalities for data filtering, processing and aggregation

R Giambona, AEC Redondi, M Cesana - Proceedings of the 14th ACM …, 2018 - dl.acm.org
In the last few years, the Message Queueing Telemetry Transport (MQTT) publish/subscribe
protocol emerged as the de facto standard communication protocol for IoT, M2M and …

Formal algebraic modelling for fog computing network architecture

PJ Roig Roig - 2022 - repositori.uib.es
[eng] Fog computing is basically an extension of cloud computing where the computing
resources are located on the edge of the network, allowing for better performance regarding …

Using IoT Protocols in Real‐Time Systems: Protocol Analysis and Evaluation of Data Transmission Characteristics

A Gavrilov, M Bergaliyev, S Tinyakov… - Journal of Computer …, 2022 - Wiley Online Library
In the Internet of things, many data transfer protocols are used for various tasks. In this
article, we consider the application layer protocols that are the main ones for transmitting …

Modeling and analyzing an industry 4.0 communication protocol

B Aziz - IEEE Internet of Things Journal, 2020 - ieeexplore.ieee.org
The increasing complexity and criticality of industrial automation systems, embodied by the
concept of Industry 4.0, which brings together concepts, such as cyber-physical systems, the …

A formal modeling approach for QoS in MQTT protocol

E Archana, A Rajeev, A Kuruvila… - … Proceedings of GUCON …, 2020 - Springer
With the rising demand for IoT devices, communication protocols like MQTT, CoAP, and
many more, have become an integral part of the system to ensure safe and reliable data …

Formal models for the verification, performance evaluation, and comparison of IoT communication protocols

IB Hafaiedh - 2022 IEEE 21st International Symposium on …, 2022 - ieeexplore.ieee.org
Currently, the IoT performs important functions in several diverse applications. As a
consequence of such diversity, there are also several issues to deal with, and the …

MQTT Algebraic Formal Modelling Using ACP

PJ Roig, S Alcaraz, K Gilly, C Juiz… - 2020 24th International …, 2020 - ieeexplore.ieee.org
Internet of Things special nature brings new challenges as to what communication protocols
better suit its features, because the most popular ones nowadays, based on client-server or …

[PDF][PDF] IoT-DMCP: An IoT Data Management and Control Platform for Smart Cities.

S Boulkaboul, D Djenouri, S Bouhafs, MON Belaid - CLOSER, 2019 - academia.edu
This paper presents a design and implementation of a data management platform to monitor
and control smart objects in the Internet of Things (IoT). This is through IPv4/IPv6, and by …

Quality of service in IoT protocol as designs and its verification in PVS

MS Nawaz, M Sun, B Shahzad, MIU Lali… - Transactions on …, 2022 - Wiley Online Library
Reliable data transmission during communication in Internet of things (IoT)–based systems
has gained much interest in last few years due to the current growth and huge investment in …