Methods for bounding end-to-end delays on an AFDX network

Full Duplex Switched Ethernet for Next Generation "1553B"-Based Applications

“…In fact, recently, an ARINC 664-compliant Full Duplex Switched Ethernet (AFDX) network [5] has been integrated into new generation civil aircrafts like the A380, to replace traditional ARINC-429 data buses. Thanks to policing mechanisms added in switches, this technology succeeds to support the important amount of exchanged data ( [2,6,9,10]). Therefore, after this successful civil experience, Standard Full Duplex Switched Ethernet is put forward here as a future interconnection technology to replace MIL-STD 1553B.…”

Analysis of Switched Ethernet for Real-Time Transmission

“…Finally, Model checking provides another method based on the use of timed automata for describing system temporal behavior. It requires a complete model of the system (which is not always available) and appropriate tools (such as UPPAAL) for evaluating it (Charara et al, 2006). This section introduces three approaches for making Switch Ethernet predictable at the MAC level and provides their deterministic performance bounds.…”

“…One of the most powerful implementations of this concept can be found in AFDX (Avionics Full-DupleX switched Ethernet), which is Part 7 of the ARINC 664 Specification for the exchange of data between Avionics Subsystems (Charara et al, 2006). AFDX is based on the full-duplex switched Ethernet solution.…”

Analysis of real-time networks with monte carlo methods

“…Guided simulation is based on simulation but uses an a©nity function between VL in order to only simulate a subset [9,10]. It tries to estimate the pessimism of the bounds computed with the network calculus by estimating the pmf of the end-to-end delays.…”

“…It derives a simpli¦ed network for each route of the original network where lowinteracting routes are taken away [9,10]. The complexity is greatly reduced and such a method could be used to compute an estimation of the average end-to-end delays.…”