Formal verification and performance analysis of a new data exchange protocol for connected vehicles
S Chouali, A Boukerche, A Mostefaoui… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
In this article, we focus on the usage of MQTT (Message Queuing Telemetry Transport)
within Connected Vehicles (CVs). Indeed, in the original version of MQTT protocol, the …
within Connected Vehicles (CVs). Indeed, in the original version of MQTT protocol, the …
Towards a formal analysis of MQTT protocol in the context of communicating vehicles
S Chouali, A Boukerche, A Mostefaoui - Proceedings of the 15th ACM …, 2017 - dl.acm.org
The paper presents a formal approach to model, analyze, and verify a variant of Message
Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) …
Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) …
Data exchange with the MQTT protocol: Dynamic bridge approach
The interconnection of our vehicles increases the efficiency and responsiveness of driving
systems and passengers' comfort. Knowing this specificity, systems must be able to exploit …
systems and passengers' comfort. Knowing this specificity, systems must be able to exploit …
Vehicular message exchange in cross-border scenarios using public cloud infrastructure
Cross-border scenarios are of extreme importance in current research work on 5G networks
for connected vehicles. Network services and applications for connected vehicles, which are …
for connected vehicles. Network services and applications for connected vehicles, which are …
An Assessment Platform of Cybersecurity Attacks against the MQTT Protocol using SIEM
M Hadded, G Lauras, J Letailleur… - 2022 International …, 2022 - ieeexplore.ieee.org
The industry of shared self-driving is increasingly interested in the Message Queuing
Telemetry Transport (MQTT) solution to develop and evaluate their autonomous and shared …
Telemetry Transport (MQTT) solution to develop and evaluate their autonomous and shared …
Emulation of multi-connectivity in hybrid vehicular networks
VS Hapanchak, AD Costa - 2022 International Conference on …, 2022 - ieeexplore.ieee.org
The next generation of vehicular communication modules is expected to be equipped with
multiple wireless interfaces in order to provide reliable connectivity to users. Multi …
multiple wireless interfaces in order to provide reliable connectivity to users. Multi …
Lightweight vehicle-to-infrastructure message verification method for VANET
We use vehicular communication technology to exchange varied data for different intentions
such as traffic awareness, road assistance, and automatic toll plaza payment. Vehicles …
such as traffic awareness, road assistance, and automatic toll plaza payment. Vehicles …
Bridging MQTT and Kafka to support C-ITS: a feasibility study
Å Hugo, B Morin, K Svantorp - 2020 21st IEEE International …, 2020 - ieeexplore.ieee.org
Nowadays, every vehicle is wirelessly connected, often by both itself and its passengers.
The same goes for all the continuously growing number of devices alongside the …
The same goes for all the continuously growing number of devices alongside the …
A QoS aware approach to service-oriented communication in future automotive networks
Service-Oriented Architecture (SOA) is about to enter automotive networks based on the
SOME/IP middleware and an Ethernet high-bandwidth communication layer. It promises to …
SOME/IP middleware and an Ethernet high-bandwidth communication layer. It promises to …
Extending mqtt-sn with real-time communication services
F Fontes, B Rocha, A Mota… - 2020 25th IEEE …, 2020 - ieeexplore.ieee.org
The Message Queuing Telemetry Transport (MQTT) protocol is one of the most popular
application-layer protocols for machine-to-machine communications. Its popularity results …
application-layer protocols for machine-to-machine communications. Its popularity results …