Skip to main content
SpringerLink
Log in

Embedded Network Protocols for Mobile Devices

  • Conference paper
Book cover Formal Methods for Industrial Critical Systems (FMICS 2010)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6371))

  • 548 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Altera Corp. and Innocor Ltd. SerialLite Protocol Specification, Rev. 1.0 (2003)

    Google Scholar 

  2. Badban, B., Fokkink, W.J., van de Pol, J.C.: Mechanical Verification of a Two-way Sliding Window Protocol. In: Proc. CPA, pp. 179–202. IOS Press, Amsterdam (2008)

    Google Scholar 

  3. Barnat, J., Brim, L., Černá, I.: Cluster-Based LTL Model Checking of Large Systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol. 4111, pp. 281–293. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  4. Benini, L., De Micheli, G.: Networks on Chips: Technology and Tools. Morgan Kaufmann, San Francisco (2006)

    Book  Google Scholar 

  5. Comer, D.E.: Internetworking with TCP/IP, Principles, Protocols, and Architecture, vol. 1. Prentice-Hall, Englewood Cliffs (2006)

    MATH  Google Scholar 

  6. Dally, W.J., Towles, B.: Route Packets, Net Wires: On-Chip Interconnection Networks. In: Proc. DAC, pp. 684–689. ACM Press, New York (2001)

    Google Scholar 

  7. Dally, W.J., Towles, B.P.: Principles and Practices of Interconnection Networks. Morgan Kaufmann, San Francisco (2004)

    Google Scholar 

  8. Desoli, G., Filippi, E.: An Outlook on the Evolution of Mobile Terminals: From Monolithic to Modular Multiradio, Multiapplication Platforms. IEEE Circuits and Systems Magazine 6(2), 17–29 (2006)

    Article  Google Scholar 

  9. Galataki, D.: Design and Analysis of UniPro Protocols for Mobile Phones. Master’s thesis, VU University Amsterdam (2009)

    Google Scholar 

  10. Goossens, K., Dielissen, J., Rădulescu, A.: The Æthereal Network on Chip: Concepts, Architectures, and Implementations. IEEE Design and Test of Computers 22(5), 414–421 (2005)

    Article  Google Scholar 

  11. Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Reading (2004)

    Google Scholar 

  12. HyperTransport ® Technology Consortium. HyperTransport I/O Link Specification, Revision 3.10b (2009)

    Google Scholar 

  13. Jantsch, A., Tenhunen, H. (eds.): Networks on Chip. Kluwer, Dordrecht (2003)

    Google Scholar 

  14. Millberg, S.M., Nilsson, E., Thid, R., Jantsch, A.: Guaranteed Bandwidth Using Looped Containers in Temporally Disjoint Networks within the Nostrum Network on Chip. In: Proc. DATE, pp. 890–895. IEEE, Los Alamitos (2004)

    Google Scholar 

  15. MIPI® Alliance. Specification for Unified Protocol (UniProSM), 2010. Version 1.10

    Google Scholar 

  16. PCI-SIG. PCI Express® Base Specification, Revision 2.1 (2009)

    Google Scholar 

  17. Quirós Araya, G.: Static Byte-Code Analysis for State Space Reduction. Master’s thesis, RWTH University, Aachen (2006)

    Google Scholar 

  18. RapidIO Trade Association. RapidIO® Interconnect Specfication, Rev. 2.1 (2009)

    Google Scholar 

  19. RFC 793: Transmission Control Protocol, Edited by Jon Postel (1981)

    Google Scholar 

  20. Ruys, T.C.: Low-Fat Recipes for SPIN. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol. 1885, pp. 287–321. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  21. Suoranta, R.: New Directions in Mobile Device Architectures. In: Proc. DSD, pp. 17–26. IEEE, Los Alamitos (2006)

    Google Scholar 

  22. Tanenbaum, A.S.: Computer Networks. Prentice Hall, Englewood Cliffs (2002)

    MATH  Google Scholar 

  23. MIPI® Alliance. Speci cation for D-PHY, Version 1.00.00 (2009)

    Google Scholar 

  24. Udaya Shankar, A.: Verified Data Transfer Protocols with Variable Flow Control. ACM Transactions on Computer Systems 7(3), 281–316 (1989)

    Article  Google Scholar 

  25. Verstoep, K., Bal, H.E., Barnat, J., Brim, L.: Efficient Large-Scale Model Checking. In: Proc. IPDPS. IEEE, Los Alamitos (2009)

    Google Scholar 

  26. Visser, W., Havelund, K., Brat, G.P., Park, S., Lerda, F.: Model Checking Programs. Autom. Softw. Eng. 10(2), 203–232 (2003)

    Article  Google Scholar 

  27. Weber, M.: An Embeddable Virtual Machine for State Space Generation. In: Bošnački, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol. 4595, pp. 168–186. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  28. XILINX®. Aurora Protocol Specification, SP002, v1.2 (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. Computer Science, VU University, Amsterdam, The Netherlands

    Despo Galataki, Kees Verstoep & Wan Fokkink

  2. ST-Ericsson, Eindhoven, The Netherlands

    Despo Galataki & Andrei Radulescu

Authors
  1. Despo Galataki
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrei Radulescu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kees Verstoep
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Wan Fokkink
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Embedded Software Laboratory, RWTH Aachen, Ahornstr. 55, 52074, Aachen, Germany

    Stefan Kowalewski

  2. Fondazione Bruno Kessler — IRST, Via Sommarive 18, 38123, Povo (Trento), Italy

    Marco Roveri

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Galataki, D., Radulescu, A., Verstoep, K., Fokkink, W. (2010). Embedded Network Protocols for Mobile Devices. In: Kowalewski, S., Roveri, M. (eds) Formal Methods for Industrial Critical Systems. FMICS 2010. Lecture Notes in Computer Science, vol 6371. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15898-8_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15898-8_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15897-1

  • Online ISBN: 978-3-642-15898-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation