USA flag logo/image

An Official Website of the United States Government

Automated Wide-Area Network Configuration from High-Level Specifications

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
Small Business Information
Galois, Inc.
421 SW Sixth Suite 300 Portland, OR 97204-
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2006
Title: Automated Wide-Area Network Configuration from High-Level Specifications
Agency / Branch: DOD / DARPA
Contract: W31P4Q-06-C-0393
Award 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.

Principal Investigator:

John Launchbury
CEO
5036266616
john@galois.com

Business Contact:

Dave Hardman
EVP
5036266616
daveh@galois.com
Small Business Information at Submission:

GALOIS CONNECTIONS, INC.
12725 SW Millikan Way Beaverton, OR 97005

EIN/Tax ID: 931278540
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Research Institution Information:
YALE UNIV.
Department of Computer Science P.O. Box
New Haven, CT 06520
Contact: Paul Hudak
Contact Phone: (203) 432-4715
RI Type: Nonprofit college or university