In this paper we are interested in safety-critical distributed systems, composed of heterogeneous processing elements interconnected using the TTEthernet protocol. We …
Latency and jitter are two main requirements when controlling cyber-physical systems, especially in case of remote control through a network. When jitter is a major concern, one …
Abstract AFDX (Avionics Full Duplex Switched Ethernet) standardized as ARINC 664 is a major upgrade for avionics systems. The mandatory certification implies a worst-case delay …
B Sun, X Li, B Wan, C Wang, X Zhou, X Chen - Journal of Systems …, 2016 - Elsevier
With the recent proliferation of different types of Cyber Physical Systems (CPS), it is critically important to investigate the predictability of such systems. Along with functional correctness …
P Axer, D Thiele, R Ernst, J Diemer - Proceedings of the 51st Annual …, 2014 - dl.acm.org
New hard real-time Advanced Driver Assistance Systems such as the Collision-Avoidance System push the bandwidth requirements of the communication infrastructure to a new level …
R Zippo, G Stea - IEEE Transactions on Information Theory, 2023 - ieeexplore.ieee.org
Networks with hop-by-hop flow control occur in several contexts, from data centers to systems architectures (eg, wormhole-routing networks on chip). A worst-case end-to-end …
M Li, G Zhu, Y Savaria, M Lauer - IEEE Transactions on …, 2017 - ieeexplore.ieee.org
Avionics Full Duplex Switched Ethernet is a safety critical network in which a redundancy management mechanism is employed to enhance the reliability of the network. However, as …
Abstract Avionics Full-DupleX (AFDX) is a switched Ethernet-based network used in modern commercial airplanes for the transmission of command and control avionics flows. These …
AFDX (Avionics Full Duplex Switched Ethernet) standardised as ARINC 664 is a major upgrade for avionics systems. For current aircrafts, it implements a FIFO scheduling policy …