FLECS: A Framework for Rapidly Implementing Forwarding Protocols

Mirza Beg

Complex Sciences. First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009, Revised Papers, Part 2

Research Article

FLECS: A Framework for Rapidly Implementing Forwarding Protocols

Download

331 downloads

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.1007/978-3-642-02469-6_53,
    author={Mirza Beg},
    title={FLECS: A Framework for Rapidly Implementing Forwarding Protocols},
    proceedings={Complex Sciences. First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009, Revised Papers, Part 2},
    proceedings_a={COMPLEX PART 2},
    year={2012},
    month={5},
    keywords={},
    doi={10.1007/978-3-642-02469-6_53}
}

Mirza Beg
Year: 2012
FLECS: A Framework for Rapidly Implementing Forwarding Protocols
COMPLEX PART 2
Springer
DOI: 10.1007/978-3-642-02469-6_53

Mirza Beg¹^,*

1: University of Waterloo

*Contact email: mbeg@cs.uwaterloo.ca

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 , 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. provides a protocol specification language and automatically generates the protocol implementation from the specification.

Published: 2012-05-11

: http://dx.doi.org/10.1007/978-3-642-02469-6_53