@inproceedings{88719fd11d7e48f7880a35c5d4ca5d8e,
title = "Embedded network protocols for mobile devices",
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.",
author = "Despo Galataki and Andrei Radulescu and Kees Verstoep and Wan Fokkink",
year = "2010",
month = oct,
day = "25",
doi = "10.1007/978-3-642-15898-8_11",
language = "English",
isbn = "3642158978",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "164--179",
editor = "S. Kowalewski and M. Roveri",
booktitle = "Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Proceedings",
address = "Germany",
note = "15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010 ; Conference date: 20-09-2010 Through 21-09-2010",
}