{'fraction_non_alphanumeric': 0.028795811518324606, 'fraction_numerical': 0.0, 'mean_word_length': 5.270491803278689, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Forward End-to-End Delay for AFDX Networks

Packet switched networks and message multiplexing have been a major upgrade for industrial systems communications. In the avionics domain, this evolution was brought by the introduction of avionics full duplex switched ethernet (AFDX). Guaranteed upper bounds of end-to-end delays for messages transmitted over an AFDX network are mandatory for certification reasons. In this article, we present the forward end-to-end delay analysis (FA), which is scalable to both large and heavily loaded configurations. A formal proof of FA is detailed and the approach is compared with alternative methods (network calculus and the trajectory approach) on two types of AFDX configurations (including a real industrial architecture).