First Analysis of the AVB’s Stream Reservation Protocol in the Context of TSN (Technical Report)

Authors Daniel Bujosa Mateu | Drago Cavka | Ines Alvarez Vadillo | Julián Proenza Arenas
In May, 2019.


The Audio Video Bridging (AVB) Task Group from the IEEE proposed a series of standards to provide Ethernet with soft real-time guarantees. Later on, the group was renamed to Time-Sensitive Networking and its scope was broadened to provide new services to more critical applications. The Stream Reservation Protocol (SRP) stands out among the projects developed by the groups, as it is key to bound the transmission delay and to minimize frame loss due to lack of resources. Nonetheless, SRP was originally designed for audio/video applications and does not take into account properties that are important for critical systems; such as termination. In this work we study the termination of the reservations using AVB’s SRP. We used Uppaal to model the protocol and to verify the property. We see that SRP does not provide termination, we discuss how the lack of termination can impact critical applications and we propose a series of solutions to provide termination using SRP.

RELATED PROJECTS

Uso de cookies

Este sitio web utiliza cookies para que usted tenga la mejor experiencia de usuario. Si continúa navegando está dando su consentimiento para la aceptación de las mencionadas cookies y la aceptación de nuestra política de cookies, pinche el enlace para mayor información.

ACEPTAR
Aviso de cookies