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 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
Similar Government Grants
Miniature Integrated Thermal Management Systems for 3D Heterogeneous Integration (Minither...
DARPA Triage Challenge
Strengthening Resilient Emotions and Nimble Cognition Through Engineering Neuroplasticity ...
Young Faculty Award (YFA)
Strategic Technology Office (STO) Office-wide
Wide Band Gap Semiconductors for RF Applications (WBGS-RF)
Robust Integrated Power Electronics (RIPE)
Microantenna Arrays:Technology and Applications (MIATA)
More Grants from the DARPA Information Innovation Office
Information Innovation Office (I2O) Office-wide
Environment-driven Conceptual Learning (ECOLE)
Assured Neuro Symbolic Learning and Reasoning (ANSR)
Resilient Supply-Demand Networks (RSDN)
Automating Scientific Knowledge Extraction and Modeling (ASKEM) is not endorsed by, or affiliated with, any government agency. Copyright ©2007-2023