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

Proc. of IEEE 35th Symposium on Reliable Distributed Systems

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