Highly Dependable Computing and Communication Systems Research
This program has been archived.
Important Notice to Proposers
A revised version of the NSF Proposal & Award Policies & Procedures Guide (PAPPG), NSF 13-1, was issued on October 4, 2012 and is effective for proposals submitted, or due, on or after January 14, 2013. Please be advised that, depending on the specified due date, the guidelines contained in NSF 13-1 may apply to proposals submitted in response to this funding opportunity.
Please be aware that significant changes have been made to the PAPPG to implement revised merit review criteria based on the National Science Board (NSB) report, National Science Foundation's Merit Review Criteria: Review and Revisions. While the two merit review criteria remain unchanged (Intellectual Merit and Broader Impacts), guidance has been provided to clarify and improve the function of the criteria. Changes will affect the project summary and project description sections of proposals. Annual and final reports also will be affected.
A by-chapter summary of this and other significant changes is provided at the beginning of both the Grant Proposal Guide and the Award & Administration Guide.
NSF and NASA will cooperate to fund projects that will promote the ability to design, test, implement, evolve, and certify highly dependable software-based systems. A significant feature of this solicitation is the use of a new NASA test-bed facility that will allow NSF awardees to experimentally evaluate their research products on significant real hardware/software artifacts.
Proposals of up to $160,000 per year for up to 4 years are sought from eligible organizations, as described in the NSF Grant Proposal Guide. Proposal evaluation will be done by a standard NSF merit review process followed by a NASA evaluation for appropriateness and relevance to NASA objectives. (See the full "Program Description" for details on the NASA evaluation and objectives.)
Because the solicitation seeks projects that combine the development of ideas and techniques with the execution of empirical studies and experimental validation using the NASA test-bed facility, funding will be provided through a combination of NSF grants and NASA cooperative agreements. Projects successful in receiving an NSF award will still have to apply for funding for test-bed activities by submitting an additional proposal to NASA during the first year of the NSF award. The primary evaluation criteria for awarding NASA cooperative agreements will be the perceived effectiveness of the planned empirical evaluation using the NASA test-bed facilities and the development of a working collaboration with other researchers on the NASA test-bed facilities. Please read Sections II. "Program Description" and IV. "Award Information" for details on this funding strategy.
The two agencies intend to fund additional new cycles of awards beginning in each of the following fiscal years, contingent on the availability of funds and the success of the competitions.
NASA Grant and Cooperative Agreement Handbook
NASA High Dependability Computing Program
NSF CISE Homepage
What Has Been Funded (Recent Awards Made Through This Program, with Abstracts)
Map of Recent Awards Made Through This Program