An Official Website of the United States Government
Automated Wide-Area Network Configuration from High-Level Specifications
- Small Business Information
-
Woman-Owned: NoMinority-Owned: NoHUBZone-Owned: No
- Phase 1
-
Fiscal Year: 2006Title: Automated Wide-Area Network Configuration from High-Level SpecificationsAgency / Branch: DOD / DARPAContract: W31P4Q-06-C-0393Award Amount: $98,202.00
Abstract:
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 97005EIN/Tax ID: 931278540DUNS: N/ANumber of Employees:Woman-Owned: NoMinority-Owned: NoHUBZone-Owned: NoYALE UNIV.
Department of Computer Science P.O. Box
New Haven, CT 06520Contact: Paul HudakContact Phone: (203) 432-4715RI Type: Nonprofit college or university
Award Information
|
Agency: Department of Defense |
Branch: Defense Advanced Research Projects Agency |
Award ID: 77887 |
Program Year/Program: 2006 / STTR |
|
Agency Tracking Number: 06ST1-0016 |
Solicitation Year: N/A |
Solicitation Topic Code: N/A |
Solicitation Number: N/A |