Paper accepted at SRDS

The paper “Model-Checking Assisted Protocol Design for Ultra-Reliable Low-Latency Wireless Networks” by Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen and James Gross has been accepted at SRDS 2016 in Budapest, Hungary. It presents the modelling and verification of EchoRing, a protocol for the MAC-layer tailored towards ultra-reliable wireless communication. The verification process uncovered some inconsistencies in the protocol, and the results have been compared to a physical system running the protocol.