SBIR/STTR Research Award
Automated Wide-Area Network Configuration from High-Level Specifications
Award amount
$98,202Program and phase
STTR · Phase IAward year
2006Award details
- Awarding agency
- Department of Defense
- Branch
- Defense Advanced Research Projects Agency
- Recipient company
- GALOIS, INC.
- Proposal award date
- 2006-08-15
- Contract end date
- 2007-11-01
- UEI
- MKT6C6U2BRM4
- Solicitation number
- Not reported
- Topic code
- ST061-002
Research 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.
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- 5STARS Boost: Refining 5STARS Network Verification Technology for Transition
- Vendor-Interoperable Ontology Linking and Exploration Tool (VIOLET)
- CGCore: Common-Ground Contextual Operator-oriented REasoning: Machine Assisted Symbiotic Intelligence Frameworks for Representing, Understanding, Inte
- RHEIA-F: Robust High-fidelity Energy-Informed Autonomy Framework
- Privacy Assured Linkage and Analytics over Datasets from Isolated Neighborhoods (PALADIN)
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
- Automated Wide-Area Network Configuration from High-Level Specifications
- Policy-based Automated WAN Configuration and Management
- Policy-based Automated WAN Configuration and Management
Research funding history
67 SBIR/STTR records share this UEI (2005–2026). Reported award amounts total $45,377,258. Reported amounts are not federal obligations.
Phases: Phase I, Phase II, Phase II – Direct to Phase II
Agencies: Department of Defense, Department of Energy, Department of Homeland Security, National Aeronautics and Space Administration