Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks

Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, James Gross

September 2016

Type

Conference paper

Publication

Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems

Event

IEEE Symposium on Reliable Distributed Systems (SRDS '16), Sep 26 - Sep 29, 2016, Budapest, Hungary

Fault Tolerance Formal Verification Wireless Channels Echoring Protocol Fault-Tolerant Methods Formal Model-Based Verification Model-Checking Assisted Protocol Probabilistic Model Checking Reliability Constraints Safety-Critical Industrial Applications Salient Features Token Loss Token-Based System Ultrareliable Low-Latency Wireless Networks Unprecedented Latency Wireless Networking Community Wireless Protocols Wireless Token-Passing Systems Automata Payloads Probabilistic Logic Protocols Reliability Wireless Communication Model Checking Probabilistic Timed Automata Token Passing Wireless Industrial Networks Tool-Assisted Protocol Design Validation