Automated Wide-Area Network Configuration from High-Level Specifications

Award Information
Agency:
Department of Defense
Branch
Defense Advanced Research Projects Agency
Amount:
$749,653.00
Award Year:
2009
Program:
STTR
Phase:
Phase II
Contract:
W31P4Q-08-C-0356
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, Suite 290, Beaverton, OR, 97005
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
098009918
Principal Investigator:
Peter White
Project Manager
(503) 626-6616
peter@galois.com
Business Contact:
John Launchbury
CEO
(503) 626-6616
john@galois.com
Research Institution:
Yale University
Hudak
Department of Computer Science
P.O. Box 208285
New Haven, CT, 6520
(203) 432-1235
Nonprofit college or university
Abstract
Wide-area networks are essential to productivity in commercial enterprises and military organizations. Reliability is difficult to achieve because wide-area networks, such as the Internet, are built from many autonomously configured component networks. Today there exists a large gap between the intended design of a network and the implementation of that design. This is because complex network policies must be expressed in low-level, device-dependent configurations. Routes are computed by composing configuration instructions across the entire network; thus, simple logical errors, or typing mistakes could inadvertently compromise global connectivity. This work bridges the gap between routing-policy specification and implementation for Internet interdomain routing. We propose a new paradigm in network configuration: one in which network operators can declare a policy specification in a high-level language, leaving automated tools to check the policy for errors and distribute configuration instructions consistently and correctly among network devices. Our approach is to design a family of policy languages to support different configuration needs and will incorporate recent research advances that help prevent anomalies in routing protocols. Our toolset will automate the configuration process, so we can also develop tools that dynamically modify network configuration in response to network measurements for purposes of traffic engineering.

* 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