Reliable communication for DuST networks

We present a family of reliable broadcast protocols designed to take advantage of the dual scheduling TDMA (DuST) scheme provided by current state-of-the-art automotive control networks such as FlexRay. These protocols are a complement to FlexRay's native communication services, which do not provide sufficient fault tolerance for safety-critical applications. A reliability evaluation of the proposed protocols carried out with the help of the probabilistic model checker PRISM shows that the proposed protocols can achieve reliability levels suitable for safety-critical applications.