Change search
ReferencesLink to record
Permanent link

Direct link
Model-Checking Assisted Protocol Design for Ultra-Reliable Low-Latency Wireless Networks
KTH, School of Electrical Engineering (EES), Communication Theory.ORCID iD: 0000-0001-6682-6559
2016 (English)Conference paper (Refereed)
Abstract [en]

Recently, the wireless networking community is getting more and more interested in novel protocol designs for safety-critical applications. These new applications come with unprecedented latency and reliability constraints which poses many open challenges. A particularly important one relates to the question how to develop such systems. Traditionally, development of wireless systems has mainly relied on simulations to identify viable architectures. However, in this case the drawbacks of simulations – in particular increasing run-times – rule out its application. Instead, in this paper we propose to use probabilistic model checking, a formal model-based verification technique, to evaluate different system variants during the design phase. Apart from allowing evaluations and therefore design iterations with much smaller periods, probabilistic model checking provides bounds on the reliability of the considered design choices. We demonstrate these salient features with respect to the novel EchoRing protocol, which is a token-based system designed for safety-critical industrial applications. Several mechanisms for dealing with a token loss are modeled and evaluated through probabilistic model checking, showing its potential as suitable evaluation tool for such novel wireless protocols. In particular, we show by probabilistic model checking that wireless tokenpassing systems can benefit tremendously from the considered fault-tolerant methods. The obtained performance guarantees for the different mechanisms even provide reasonable bounds for experimental results obtained from a real-world implementation.

Place, publisher, year, edition, pages
National Category
Communication Systems
URN: urn:nbn:se:kth:diva-190952OAI: diva2:953843
35th IEEE Symposium on Reliable Distributed Systems 2016 (SRDS 2016)
ICT - The Next Generation

QC 20161010

Available from: 2016-08-18 Created: 2016-08-18 Last updated: 2016-10-10Bibliographically approved

Open Access in DiVA

fulltext(418 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 418 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Search in DiVA

By author/editor
Gross, James
By organisation
Communication Theory
Communication Systems

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 12 hits
ReferencesLink to record
Permanent link

Direct link