Automated Wide-Area Network Configuration from High-Level Specifications

Award Information
Agency:
Department of Defense
Branch
Defense Advanced Research Projects Agency
Amount:
$98,202.00
Award Year:
2006
Program:
STTR
Phase:
Phase I
Contract:
W31P4Q-06-C-0393
Award Id:
77887
Agency Tracking Number:
06ST1-0016
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
12725 SW Millikan Way, Beaverton, OR, 97005
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
098009918
Principal Investigator:
JohnLaunchbury
CEO
(503) 626-6616
john@galois.com
Business Contact:
DaveHardman
EVP
(503) 626-6616
daveh@galois.com
Research Institute:
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

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government