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.

• Type: Conference
• Year: 2010
• Where: FMICS
• Authors: Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan Fokkink
• Keywords: FMICS 2010, Formal Methods, Mobile Devices, Model Checker, Sliding Window Protocol