AVB-aware Routing and Scheduling for Critical Traffic in Time-sensitive Networks with Preemption - Supplementary Material

In this supplementary material, we present two proofs, one related to the (min-plus) minimum service curve for an arbitrary AVB Class under preemption with HOLD/RELEASE, and the other one related to the impact of preemption overhead on the CBS credit behavior when comparing the preemptive and non-preemptive modes. The proofs build upon similar proofs from literature, extending and adapting them for the preemptive mode with HOLD/RELEASE and non-frozen credit during the preemption overhead.