Embedded network protocols for mobile devices

Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan Fokkink

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Abstract

Embedded networks for chip-to-chip networks are emerging as communication infrastructure in mobile devices. We present three novel embedded network protocols: a sliding window protocol, a protocol for opening and closing connections, and a bandwidth reservation protocol. The design of these protocols is tailored to the low power and low cost requirements of mobile devices. The model checker SPIN played an important role in the design and analysis of these protocols. Large instances of the protocols could be analyzed successfully using the distributed model checker DiVinE.

Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Proceedings
EditorsS. Kowalewski, M. Roveri
Place of PublicationBerlin
PublisherSpringer
Pages164-179
Number of pages16
ISBN (Print)3642158978, 9783642158971
DOIs
Publication statusPublished - 25 Oct 2010
Externally publishedYes
Event15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010 - Antwerp, Belgium
Duration: 20 Sep 201021 Sep 2010

Publication series

NameLecture Notes in Computer Science
Volume6371
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010
Country/TerritoryBelgium
CityAntwerp
Period20/09/1021/09/10

Fingerprint

Dive into the research topics of 'Embedded network protocols for mobile devices'. Together they form a unique fingerprint.

Cite this