Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS)
The summary for the Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS) grant is detailed below.
This summary states who is eligible for the grant, how much grant money will be awarded, current and past deadlines, Catalog of Federal Domestic Assistance (CFDA) numbers, and a sampling of similar government grants.
Verify the accuracy of the data FederalGrants.com provides by visiting the webpage noted in the Link to Full Announcement section or by contacting the appropriate person listed as the Grant Announcement Contact.
If any section is incomplete, please visit the website for the DARPA Information Innovation Office, which is the U.S. government agency offering this grant.
Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS): The goal of the V-SPELLS program is to create a developer-accessible capability for piece-by-piece enhancement of software components with new verified code that is both correct-by-construction and compatible-by-construction, i.e., safely composable with the rest of the system. V-SPELLS will create practical tools for developers to gain benefits of formal software verification in incremental software (re)engineering rather than only in clean-slate introduction. V-SPELLS tools will enable developers to deliver assured incremental modernization of legacy systems in a manner that leverages verification technologies and reduces rather than raises risk. V-SPELLS aims to radically broaden adoption of software verification by enabling incremental introduction of superior technologies into systems that cannot be re-designed from scratch and replaced as a whole.
Federal Grant Title: | Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS) |
Federal Agency Name: | DARPA Information Innovation Office (DOD-DARPA-I2O) |
Grant Categories: | Science and Technology |
Type of Opportunity: | Discretionary |
Funding Opportunity Number: | HR001120S0058 |
Type of Funding: | Cooperative Agreement |
CFDA Numbers: | 12.910 |
CFDA Descriptions: | Information not provided |
Current Application Deadline: | September 9th, 2020 |
Original Application Deadline: | September 9th, 2020 |
Posted Date: | July 24th, 2020 |
Creation Date: | July 24th, 2020 |
Archive Date: | October 9th, 2020 |
Total Program Funding: | |
Maximum Federal Grant Award: | |
Minimum Federal Grant Award: | |
Expected Number of Awards: | |
Cost Sharing or Matching: | No |
Last Updated: | September 1st, 2020 |
- Applicants Eligible for this Grant
- Others (see text field entitled "Additional Information on Eligibility" for clarification.)
- Additional Information on Eligibility
- All responsible sources capable of satisfying the Government's needs may submit a proposal that shall be considered by DARPA. See the Eligibility Information section of the BAA for more information.
- Link to Full Grant Announcement
- Beta.SAM Contract Opportunities
- Grant Announcement Contact
- BAA Coordinator
[email protected]
- Similar Government Grants
- • Structures Uniquely Resolved to Guarantee Endurance (SURGE)
- • GOLDen hour extended EVACuation (GOLDEVAC)
- • Material Synthesis Technologies for Universal and Diverse Integration Opportunities (M-STU...
- • Scientific Feasibility (SciFy)
- • Expeditionary Carbon Utilization for energy Resilience and Stabilization (ExCURSion)
- • Wide Band Gap Semiconductors for RF Applications (WBGS-RF)
- • Robust Integrated Power Electronics (RIPE)
- • Microantenna Arrays:Technology and Applications (MIATA)
- • Information Innovation Office (I2O) Office-wide
- • Intrinsic Cognitive Security (ICS)
- • Compartmentalization and Privilege Management (CPM)
- • Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS)