Research Article
FLECS: A Framework for Rapidly Implementing Forwarding Protocols
347 downloads
@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
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.
Copyright © 2009–2024 ICST