Loading [MathJax]/extensions/TeX/ietmacros.js
Analysing Termination and Consistency in the AVB’s Stream Reservation Protocol | IEEE Conference Publication | IEEE Xplore

Analysing Termination and Consistency in the AVB’s Stream Reservation Protocol


Abstract:

The Audio Video Bridging Task Group (AVB TG) from the IEEE proposed a series of standards to provide Ethernet with soft real-time guarantees. Later on, the group was rena...Show More

Abstract:

The Audio Video Bridging Task Group (AVB TG) 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 support critical applications. The Stream Reservation Protocol (SRP) stands out among the projects developed by the groups. 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 and consistency. In this work we study the termination and consistency of SRP at different levels, using a model we developed of this protocol in Uppaal. We see that SRP does not provide termination nor consistency, we discuss how this can impact critical applications and we propose solutions for all the issues detected.
Date of Conference: 10-13 September 2019
Date Added to IEEE Xplore: 17 October 2019
ISBN Information:

ISSN Information:

Conference Location: Zaragoza, Spain

References

References is not available for this document.