Qualitative and Quantitative Analysis of Avionics Full DupleX Network Models

The Avionics Full DupleX (AFDX) is a redundant and reliable Ethernet network that ensures deterministic communication. Unlike papers that exclusively address AFDX with performance evaluation in mind, this pa- per use both quantitative and qualitative analysis to characterize the transmission of flows in the network. Qualitative analysis enables checking the SysML model of the network against temporal constraints. Quantita- tive analysis uses a simulation approach to evaluate the timing performances of the network