Skip to main content
Springer Nature Link
Log in

FLECS: A Framework for Rapidly Implementing Forwarding Protocols

  • Conference paper
Complex Sciences (Complex 2009)

Included in the following conference series:

  • 1675 Accesses

Abstract

Design, implementation and deployment of network protocols is a challenging and difficult task. Determining their correctness and feasibility for large-scale networks is even more complicated. This paper presents Flecs, a framework for fascilitating implementation of forwarding protocols for packet-switched networks. We build upon the observation that the forwarding functionality can be modeled as a combination of well-defined but customizable components, the functionality of each component is constrained by the fundamental axioms of communication. Flecs provides a protocol specification language and automatically generates the protocol implementation from the specification.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. Kohler, E., Kaashoek, M.F., Montgomery, D.R.: A Readable TCP in the Prolac Protocol Language. In: SIGCOMM 1999, Cambridge, Massachusetts, USA, pp. 3–13 (1999)

    Google Scholar 

  2. Madhavapeddy, A., Ho, A., Deegan, T., Scott, D., Sohan, R.: Melange: Creating a ’Functional’ Internet. In: EuroSys 2007: Proceedings of the 2007 conference on EuroSys., Lisbon, Portugal, pp. 101–114 (2007)

    Google Scholar 

  3. Clark, D.: The Design Philosophy of the DARPA Internet Protocols. In: SIGCOMM 1988, Stanford, California, pp. 106–114 (1988)

    Google Scholar 

  4. Karsten, M., Keshav, S., Prasad, S., Beg, M.: An Axiomatic Basis for Communication. In: SIGCOMM 2007, Kyoto, Japan, pp. 217–228 (2007)

    Google Scholar 

  5. Karsten, M., Keshav, S., Prasad, S.: An Axiomatic Basis for Communication. In: HotNets V, Irvine, CA, USA, pp. 19–24 (2006)

    Google Scholar 

  6. Budkowski, S., Dembenski, P.: An Introduction to Estelle: A Specification Language for Distributed Systems. Computer Networks and ISDN Systems 14(1), 3–24 (1988)

    Article  Google Scholar 

  7. Morris, R., Kohler, E., Jannotti, J., Kaashoek, M.F.: The Click Modular Router. In: SOSP 1999, Kiawah Island Resort, near Charleston, SC, USA, pp. 217–231 (1999)

    Google Scholar 

  8. Kohler, E., Morris, R., Jannotti, J., Kaashoek, M.F.: The Click Modular Router. ACM Transactions on Computer Systems 18(3), 263–297 (2000)

    Article  Google Scholar 

  9. Condie, T., Hellerstein, J.M., Maniatis, P., Rhea, S., Roscoe, T.: Finally, a Use for Componentized Transport Protocols. In: HotNets IV (2005)

    Google Scholar 

  10. Krupczak, B., Calvert, K., Ammar, M.: Increasing the Portability and Re-usability of Protocol Code. IEEE/ACM Transactions on Networking 5(4), 445–459 (1997)

    Article  Google Scholar 

  11. Liu, X., Kreitz, C., Renesse, R., Hickey, J., Hayden, M., Birman, K.P., Constable, R.L.: Building Reliable, High-performance Communication Systems from Components. In: SOSP 1999, Kiawah Island Resort, near Charleston, SC, USA, pp. 80–92 (1999)

    Google Scholar 

  12. Tennenhouse, D.L.: Layered Multiplexing Considered Harmful. In: First International Workshop on High Speed Networking (1989)

    Google Scholar 

  13. Bolognesi, T., Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14(14), 25–59 (1987)

    Article  Google Scholar 

  14. Griffin, T.G., Sobrinho, J.L.: Metarouting. In: SIGCOMM 2005, Philadelphia, Pennsylvania, USA, pp. 1–12 (2005)

    Google Scholar 

  15. Dabbous, W., O’Malley, S., Castelluccia, C.: Generating Efficient Protocol Code from an Abstract Specification. In: SIGCOMM 1996, Palo Alto, California, USA, pp. 60–72 (1996)

    Google Scholar 

  16. Bolognesi, T., Brinksma, E.: Dynamic Source Routing in Ad Hoc Wireless Networks. Mobile Computing 353, 153–181 (1996)

    Article  Google Scholar 

  17. Perkins, C.: RFC 3344 - IP Mobility Support for IPv4. IETF (2002)

    Google Scholar 

  18. Mockapetris, P.: RFC 1034 - Domain Names - Concepts and Facilities. IETF (1987)

    Google Scholar 

  19. Mockapetris, P.: RFC 1035 - Domain Names - Implementation and Specification. IETF (1987)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, ON, Canada

    Mirza Beg

Authors
  1. Mirza Beg
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Network Technology Research Centre, Research Techno Plaza, Nanyang Technology University, 4th story X‘Frontiers, Block 50 Nanyang Drive, 637553, Singapore

    Jie Zhou

Rights and permissions

Reprints and permissions

Copyright information

© 2009 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering

About this paper

Cite this paper

Beg, M. (2009). FLECS: A Framework for Rapidly Implementing Forwarding Protocols. In: Zhou, J. (eds) Complex Sciences. Complex 2009. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 5. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02469-6_53

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02469-6_53

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02468-9

  • Online ISBN: 978-3-642-02469-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics