Minimizing the search space for computing exact worst-case delays of AFDX periodic flows

AFDX (Avionics Full Duplex Switched Ethernet) standardized as ARINC 664 is a major upgrade for avionics systems. Guarantees on worst case end-to-end communication delays are required for certification purposes. These guarantees are obtained thanks to safe upper bounds computed by Network Calculus and Trajectory Approaches. Indeed, up to now, the computation of an exact worst case delay is intractable, except for very small configurations (less than 10 virtual links (VLs)). This paper proposes an algorithm which significantly increases the size of the configuration for which an exact worst case delay can be obtained (up to 50 VLs). This is achieved, thanks to a drastic reduction of the search space. For larger configurations (up to 100 VLs) the algorithm can be adapted to obtain reachable values for the end-to-end delay which are close to the exact worst case. Generalization to industrial configurations (more than 1000 flows) is under way.