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. © 2010 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
Galataki, D., Radulescu, A., Verstoep, K., & Fokkink, W. (2010). Embedded network protocols for mobile devices. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6371 LNCS, pp. 164–179). https://doi.org/10.1007/978-3-642-15898-8_11
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
