Modeling and verification of the Multi-connection Tactile Internet Protocol
| Autor: | Pedro Merino, María-del-Mar Gallardo, Delia Rico |
|---|---|
| Rok vydání: | 2021 |
| Předmět: |
Wireless network
Computer science business.industry Network packet Reliability (computer networking) ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS 020302 automobile design & engineering 020207 software engineering 02 engineering and technology law.invention 0203 mechanical engineering law Internet Protocol Teleoperation 0202 electrical engineering electronic engineering information engineering The Internet Latency (engineering) business Protocol (object-oriented programming) Computer network |
| Zdroj: | Q2SWinet |
| DOI: | 10.1145/3479242.3487328 |
| Popis: | Tactile Internet (TI) refers to the transmission of touch and the real-time control of applications like the remote control for teleoperation of machines, drones or vehicles. Traditional TCP and UDP protocols are not suitable for these applications, because they are mainly designed for content delivery or non real-time interactive applications. Some ideas from transport protocols for real-time multimedia like RTP are closer to Tactile Internet; however, they do not satisfy requirements of low latency and high reliability. In this paper, we present the Multi-connection Tactile Internet Protocol (MTIP), a novel transport protocol on top of the Internet Protocol to support the reliability and latency for Internet applications over multi-homed devices connected to several wireless networks. In order to provide that service, MTIP is based on the combination of sequence numbers and timestamps in packets, enhanced with global clocks and context awareness. The paper focuses on building a state machine based model of MTIP to prove the correct behaviour of the protocol using the SPIN tool to verify a number of relevant correctness properties. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|