Automated Wide-Area Network Configuration from High-Level Specifications
Agency / Branch:
DOD / DARPA
We propose to design and implement a domain-specific language (DSL) called Nettle that will eliminate a large class of network misconfiguration errors, together with a verification tool that will be used to establish the correctness of other network configuration specifications. Advantages of our approach include: - It can be deployed gracefully and incrementally. The use of Nettle will guarantee many local behavioral properties, as well as certain more global ones, and as more organizations use the framework, greater degrees of correcness can be ensured. - Nettle will be expressive. We will not excessively limit the range of routing decisions that can be expressed. - Nettle will be efficient and platform independent. It will be possible to compile programs written in the DSL on a variety of router platforms and configurations.
Small Business Information at Submission:
Research Institution Information:
GALOIS CONNECTIONS, INC.
12725 SW Millikan Way Beaverton, OR 97005
Number of Employees:
Department of Computer Science P.O. Box
New Haven, CT 06520
Nonprofit college or university