Reports
Reducing Pessimism in Response Time Analysis of AVB Traffic in TSN
Time-Sensitive Networking (TSN) is a set of standards with significant industrial impact potential, primarily due to its ability to integrate multiple traffic types with different requirements, offering great network flexibility. Among these traffic types, Audio-Video...
Description of the UPPAAL Models for SRP and CSRP and Verification of their Termination and Consistency Properties
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...
First Description of a Self-Reconfigurable Infrastructure for Critical Adaptive Distributed Embedded Systems
Adaptive systems, apart from fulfilling some functional requirements, can modify their behaviour autonomously and dynamically to cope with new operational requirements or conditions. The DFT4FTT project aims at providing a self-reconfigurable infrastructure that can...
First Analysis of the AVB’s Stream Reservation Protocol in the Context of TSN (Technical Report)
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...
Detection of Defects on Vessel Structures using Saliency-related Features
Seagoing vessels have to undergo regular visual inspections in order to detect the typical defective situations affecting metallic structures, such as cracks and corrosion. These inspections are currently performed manually by ship surveyors at a great cost. Assisting...