RT Journal Article
T1 Verification of a multi-connectivity protocol for Tactile Internet applications
A1 Rico, Delia
A1 Gallardo-Melgarejo, María del Mar
A1 Merino-Gómez, Pedro
K1 Informática
K1 Internet
AB Tactile Internet refers to a network that enables real-time, high-reliability haptic communication and control between humans, machines, and objects over the Internet. Tactile Internet applications include the remote control of drones, cars or industrial tele-operation. In this context, the Multi-connection Tactile Internet Protocol (MTIP) is a novel multipath transport protocol designed to support the requirements of Tactile Internet applications in large, private mobile networks. The objective of this paper is to analyze and verify the correctness and performance of the MTIP protocol to ensure that the protocol functions correctly under different network scenarios and it is ready to meet the performance requirements of Tactile Internet applications. For that purpose, a two-step approach is employed to analyze and verify MTIP. In the first step, a formal model of MTIP is developed using timed automata and the uppaal tool is utilized to verify correctness properties represented as temporal formulas. In the second step, the performance of the protocol is analyzed using the statistical model checking features of uppaal (uppaal smc) in scenarios that are difficult and expensive to reproduce in a real network. The results indicate that MTIP’s model meets the specified temporal properties, and the performance evaluation showcases the potential and trade-off of using multiple paths to enhance the communication. Based on the analysis and verification results, the paper emphasizes the readiness of MTIP for real-world deployment and highlights its potential benefits for enhancing the performance of Tactile Internet applications.
PB Elsevier
YR 2023
FD 2023-10-26
LK https://hdl.handle.net/10630/28675
UL https://hdl.handle.net/10630/28675
LA eng
NO Delia Rico, María-del-Mar Gallardo, Pedro Merino, Verification of a multi-connectivity protocol for Tactile Internet applications, Computer Communications, Volume 212, 2023, Pages 390-406, ISSN 0140-3664, https://doi.org/10.1016/j.comcom.2023.10.013
NO Funding for open Access charge: Universidad de Málaga / CBUA.Work supported by the 6G-SANDBOX Project (Smart Networks and Services Joint Undertaking under the European Union’s Horizon 2020 research and innovation programme grant agreement No 101096328), and by the Spanish government (grant FPU17/04292 and the UNICO I+D 5G+TACTILE_1 project TSI-063000-2021-11).
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 21 ene 2026