Sökning: onr:"swepub:oai:DiVA.org:mdh-53690" >
CSRP :
CSRP : An Enhanced Protocol for Consistent Reservation of Resources for AVB/TSN
-
- Bujosa Mateu, Daniel (författare)
- Mälardalens högskola,Inbyggda system
-
- Alvarez, Ines (författare)
- Univ Balearic Isl, Palma De Mallorca 07122, Spain.
-
- Proenza, Julian (författare)
- Univ Balearic Isl, Palma De Mallorca 07122, Spain.
-
(creator_code:org_t)
- IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2021
- 2021
- Engelska.
-
Ingår i: IEEE Transactions on Industrial Informatics. - : IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC. - 1551-3203 .- 1941-0050. ; 17:5, s. 3640-3650
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- The IEEE Audio Video Bridging (AVB) Task Group (TG) was created to provide Ethernet with soft real-time guarantees. Later on, the TG was renamed to Time-Sensitive Networking (TSN) and its scope broadened to support hard real-time and critical applications. The Stream Reservation Protocol (SRP) is a key work of the TGs as it allows reserving resources in the network, guaranteeing the required quality of service. AVB's SRP is based on a distributed architecture, whereas TSN's is based on centralized ones. The distributed version of SRP is supported and used in TSN. Nevertheless, it was not designed to provide properties that are important for critical applications. In this article, we model SRP using UPPAAL and we study the termination and consistency. We verify that SRP does not provide such properties. Furthermore, we propose an improved protocol called Consistent Stream Reservation Protocol (CSRP) and we formally verify its correctness using UPPAAL.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Nyckelord
- Audio Video Bridging (AVB)
- Consistent Stream Reservation Protocol (CSRP)
- Stream Reservation Protocol (SRP)
- Time-Sensitive Networking (TSN)
- UPPAAL
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas