Leaky bucket algorithms in AFDX

Two token bucket algorithms are specified to regulate the traffic of each virtual link (VL) in the standard ARINC664 part 7-avionics full duplex switched Ethernet network. One algorithm is byte based and the other is frame-based. It is shown that the byte-based token bucket algorithm cannot keep the minimum frame arriving intervals and filter the nonconforming frames in general cases. When it can do so, the frames in one VL must be equal in size, in which case it works exactly as the frame-based algorithm does.