Sciweavers

FMICS
2010
Springer

Embedded Network Protocols for Mobile Devices

13 years 11 months ago
Embedded Network Protocols for Mobile Devices
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.
Despo Galataki, Andrei Radulescu, Kees Verstoep, W
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2010
Where FMICS
Authors Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan Fokkink
Comments (0)