Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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
IEEE, 2016.
National Category
Communication Systems
Identifiers
URN: urn:nbn:se:kth:diva-190952DOI: 10.1109/SRDS.2016.048ISI: 000391526500037Scopus ID: 2-s2.0-85010190161ISBN: 978-1-5090-3513-7 (print)OAI: oai:DiVA.org:kth-190952DiVA: diva2:953843
Conference
35th IEEE Symposium on Reliable Distributed Systems 2016 (SRDS 2016)
Funder
ICT - The Next Generation
Note

QC 20161010

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

Open Access in DiVA

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

Other links

Publisher's full textScopushttp://srds2016.inf.mit.bme.hu/program/

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar
Total: 46 downloads
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

Altmetric score

Total: 80 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf