Conferences
Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule
Critical Adaptive Distributed Embedded Systems (ADESs) are nowadays the focus of many researchers. ADESs are envisioned to dynamically modify their behavior to support changes of their real-time and dependability requirements at runtime as the conditions of the...
Analysing Termination and Consistency in the AVB’s Stream Reservation Protocol
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...
Simulation of the Proactive Transmission of Replicated Frames Mechanism over TSN
The Time-Sensitive Networking (TSN) Task Group (TG) is providing Ethernet with timing guarantees, reconfiguration services and fault tolerance mechanisms. Some of TSN’s targeted applications are real-time critical applications, which must provide a correct service...
Towards a Dynamic Replication of Messages in a Network with Flexible Real-Time Guarantees
Distributed Embedded Systems (DES) typically have real-time and dependability requirements. Moreover, if they have to operate in dynamic operational contexts, they need to be adaptive. That is, they must be able to automatically and autonomously rearrange in response...
First Analysis of the AVB’s Stream Reservation Protocol in the Context of TSN
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 more...
Towards a Fault-Tolerant Architecture based on Time-Sensitive Networking
The Time Sensitive Networking (TSN) Task Group has been working on describing a set of standards that will provide enhanced capabilities to standard Ethernet. Specifically, they work to provide Ethernet with real-time, reconfiguration and reliability capacities....