Area of Interest and RFP-Based Research Proposal

ECLiPSe Network-Algorithm Library Development

Cisco is not currently accepting proposals for this RFP.

Project ID:


RFP-2008-044

Title:


ECLiPSe Network-Algorithm Library Development

Summary:


Development and packaging of network algorithm development libraries for the ECLiPSe platform.

Full Description:


Policy control, search and optimization algorithms are pervasive in the field of network design and management. The ECLiPSe Constraint Logic Programming System (www.eclipse-clp.org) can assist with its rapid algorithm prototyping and its constraint solving and optimization capabilities.

In order to simplify and expedite the development of new network algorithms, we wish to extend ECLiPSe's support for the creation of centralized and distributed network algorithms in two ways:

  1. Creation of a distributed algorithm modeling library
    ECLiPSe already includes powerful features that allow distributed algorithms to be modeled and simulated rapidly. These include: its ability to model arbitrary data-driven processes; it's ability to automatically monitor satisfaction of algorithm invariants; its support of non-monotonic change within a logical framework; and its declarative 4th generation modeling and programming environment. However, due to the lack of a dedicated distributed algorithm modeling library, distibuted algorithms are modeled on an ad hoc basis. This deliverable is a library that supports distributed algorithm modeling and simulation, by formalizing the modeling of distributed algorithms and abstracting the equivalent ECLiPSe code (Communicating Sequential Processes or the Calculus of Communicating Systems could be used to guide formalization). Cisco will supply domain-specific distributed algorihtm simulation examples, that could be abstracted, to support library development.
  2. Packaging & extension of routing utility library suite
    Developers of networking algorithms would benefit from suites of utility libraries targeting specific network algorithm areas, such as routing.

This proposal additionally envisages the creation of a suite of utility libraries for the routing domain. The suite will deliver basic algorithms for core routing problems (shortest and constraint shortest path variants, IGP routing simulators, multicast routing, and network sizing libraries). Cisco will supply several existing libraries for modularization and documentation. These libraries will need to be extended into a more complete set by enhancement and extension to cover additional related algorithms.

Constraints and other information:


ECLiPSe is owned by Cisco Systems, Inc., but is open-sourced under a MPL license (http://eclipse.crosscoreop.com/licence/). The terms of this open source license will apply as usual to ECLiPSe's enhancements and extensions, and Cisco strongly prefers that any other results of the project be open-sourced under this same licence, and available for unrestricted commercial use.

Proposal submission:


Cisco is not currently accepting proposals for this RFP.

Questions? Contact: research@cisco.com