arinc664-afdxlisted

# ARINC 664 AFDX Switched Network (avionics/data-bus/arinc664-afdx) Use when the task is the ARINC 664 Part 7 Avionics Full-Duplex Switched Ethernet (AFDX) network for civil avionics: virtual link definition and bandwidth, the bandwidth allocation gap (BAG), the 100 Mbps link budget, frame transmission time, jitter, end-to-end latency through the switched network, and dual redundant network design. The module is data-driven: you supply the virtual link list with BAG and maximum frame size, and the functions validate bounds, compute bandwidth, check the link budget, and size the timing margins. ## Domain quick reference - ARINC 664 Part 7 (AFDX) is deterministic switched Ethernet for civil avionics: end systems connect by full-duplex 100 Mbps links to switches, typically dual redundant over two independent networks A and B. - A virtual link (VL) is a unidirectional logical path from one source end system to one or more destination end systems, defined by a bandwidth allocation gap (BAG) and a maximum frame size. - Legal BAG values are 1, 2, 4, 8, 16, 32, 64, and 128 ms; frames range from 64 to 1518 bytes. - VL bandwidth: max_frame_bytes x 8 / bag_seconds. Worked: 1518-byte frames at BAG 4 ms give 3.036 Mbps; at BAG 128 ms, 94.875 kbps. - Link budget: the sum of all VL bandwidths on one network must not exceed the 100 Mbps link. Worked: 30 VLs at 3.036 Mbps use 91.08 Mbps (utilization 0.9108); 33 such VLs need 100.188 Mbps, an oversubscribed configuration