Erratum

This erratum relates to Ahrendts et al. [2018], a conference paper at ECRTS in 2018 with the title ”Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks”. The central contribution of the paper is the computation of (m,k)-guarantees for traffic streams in switched networks. An (m,k)-guarantee states that no more than m out k consecutive frame transmissions may violate the end-to-end deadline of a traffic stream. The authors discovered that the computed (m,k)-guarantees in their paper are in fact only valid under restrictive assumptions.