Automated Wide-Area Network Configuration from High-Level Specifications

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: W31P4Q-06-C-0393
Agency Tracking Number: 06ST1-0016
Amount: $98,202.00
Phase: Phase I
Program: STTR
Awards Year: 2006
Solicitation Year: 2006
Solicitation Topic Code: ST061-002
Solicitation Number: N/A
Small Business Information
12725 SW Millikan Way, Beaverton, OR, 97005
DUNS: 098009918
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 John Launchbury
 CEO
 (503) 626-6616
 john@galois.com
Business Contact
 Dave Hardman
Title: EVP
Phone: (503) 626-6616
Email: daveh@galois.com
Research Institution
 YALE UNIV.
 Paul Hudak
 Department of Computer Science P.O. Box
New Haven, CT, 06520
 (203) 432-4715
 Nonprofit college or university
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.

* Information listed above is at the time of submission. *

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government