This grant is for the V-SPELLS program, aiming to develop practical tools that enable developers to incrementally enhance large legacy software systems. The core purpose is to create verified code components that are both correct-by-construction and safely composable, allowing for piece-by-piece modernization without full system redesign. These tools will integrate formal software verification into iterative development, reducing the risks associated with modifying complex existing systems. By enabling incremental introduction of advanced verification technologies, this initiative seeks to significantly broaden the adoption of software verification, delivering assured modernization and improving the security and performance of critical legacy software assets.
Opportunity ID: 328355
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | HR001120S0058 |
| Funding Opportunity Title: | Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS) |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Cooperative Agreement Other Procurement Contract |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | – |
| Assistance Listings: | 12.910 — Research and Technology Development |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 3 |
| Posted Date: | Jul 24, 2020 |
| Last Updated Date: | Sep 01, 2020 |
| Original Closing Date for Applications: | Sep 09, 2020 See Full Announcement for details. |
| Current Closing Date for Applications: | Sep 09, 2020 See Full Announcement for details. |
| Archive Date: | Oct 09, 2020 |
| Estimated Total Program Funding: | – |
| Award Ceiling: | – |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | 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. |
Additional Information
| Agency Name: | DARPA – Information Innovation Office |
| Description: | 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. |
| Link to Additional Information: | Beta.SAM Contract Opportunities |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
BAA Coordinator
V-SPELLS@darpa.mil Email:V-SPELLS@darpa.mil |
Version History
| Version | Modification Description | Updated Date |
|---|---|---|
| New Content Control Language: Reps and Certs. Also added the new cost control content that was added on 8/13/20. Amended language is highlighted in yellow within the amendment. | Sep 01, 2020 | |
| Includes the clarification on p.8 about the permissible combinations of TAs, which hopefully clarifies the matter raised at the Proposer’s Day, and on p.19, which adds end-of-phase reports to support our own reporting to DIRO. | Jul 24, 2020 | |
| Jul 24, 2020 |
DISPLAYING: Synopsis 3
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | HR001120S0058 |
| Funding Opportunity Title: | Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS) |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Cooperative Agreement Other Procurement Contract |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | – |
| Assistance Listings: | 12.910 — Research and Technology Development |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 3 |
| Posted Date: | Jul 24, 2020 |
| Last Updated Date: | Sep 01, 2020 |
| Original Closing Date for Applications: | Sep 09, 2020 See Full Announcement for details. |
| Current Closing Date for Applications: | Sep 09, 2020 See Full Announcement for details. |
| Archive Date: | Oct 09, 2020 |
| Estimated Total Program Funding: | – |
| Award Ceiling: | – |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | 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. |
Additional Information
| Agency Name: | DARPA – Information Innovation Office |
| Description: | 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. |
| Link to Additional Information: | Beta.SAM Contract Opportunities |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
BAA Coordinator
V-SPELLS@darpa.mil Email:V-SPELLS@darpa.mil |
DISPLAYING: Synopsis 2
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | HR001120S0058 |
| Funding Opportunity Title: | Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS) |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Cooperative Agreement Other Procurement Contract |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | – |
| Assistance Listings: | 12.910 — Research and Technology Development |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 2 |
| Posted Date: | Jul 24, 2020 |
| Last Updated Date: | Aug 27, 2020 |
| Original Closing Date for Applications: | – |
| Current Closing Date for Applications: | Sep 09, 2020 See Full Announcement for details. |
| Archive Date: | Oct 09, 2020 |
| Estimated Total Program Funding: | – |
| Award Ceiling: | – |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | 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. |
Additional Information
| Agency Name: | DARPA – Information Innovation Office |
| Description: | 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. |
| Link to Additional Information: | Beta.SAM Contract Opportunities |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
BAA Coordinator
V-SPELLS@darpa.mil Email:V-SPELLS@darpa.mil |
DISPLAYING: Synopsis 1
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | HR001120S0058 |
| Funding Opportunity Title: | Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS) |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Cooperative Agreement Other Procurement Contract |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | – |
| Assistance Listings: | 12.910 — Research and Technology Development |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 1 |
| Posted Date: | Jul 24, 2020 |
| Last Updated Date: | Jul 24, 2020 |
| Original Closing Date for Applications: | – |
| Current Closing Date for Applications: | Sep 09, 2020 See Full Announcement for details. |
| Archive Date: | Oct 09, 2020 |
| Estimated Total Program Funding: | – |
| Award Ceiling: | – |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | 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. |
Additional Information
| Agency Name: | DARPA – Information Innovation Office |
| Description: | 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. |
| Link to Additional Information: | Beta.SAM Contract Opportunities |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
BAA Coordinator
V-SPELLS@darpa.mil Email:V-SPELLS@darpa.mil |
Related Documents
Folder 328355 Full Announcement-HR001120S0058 -> DARPA Standard Cost Proposal Spreadsheet (Multiple TAs)_04-2020.pdf
Folder 328355 Full Announcement-HR001120S0058 -> DSCPS General Instructions.pdf
Folder 328355 Full Announcement-HR001120S0058 -> HR001120S0058.pdf
Folder 328355 Full Announcement-HR001120S0058 -> V-SPELLS_BAA_Attachment_Proposal_Summary_Chart_Template.pdf
Folder 328355 Full Announcement-HR001120S0058 -> V-SPELLS_BAA_proposal_LoE_table_template_SkillSets.pdf
Folder 328355 Revised Full Announcement-HR001120S0058-Amendment-01 -> HR001120S0058-Amendment-01.pdf
Folder 328355 Revised Full Announcement-HR001120S0058-Amendment-02 -> DARPA Standard Cost Proposal Spreadsheet (Multiple TAs)_08-2020.2.pdf
Folder 328355 Revised Full Announcement-HR001120S0058-Amendment-02 -> DARPA Standard Cost Proposal Spreadsheet (Single TA)_08-2020.2.pdf
Folder 328355 Revised Full Announcement-HR001120S0058-Amendment-02 -> DSCPS General Instructions_v2.pdf
Folder 328355 Revised Full Announcement-HR001120S0058-Amendment-02 -> HR001120S0058-Amendment-02.pdf
Packages
| Agency Contact Information: | BAA Coordinator V-SPELLS@darpa.mil Email: V-SPELLS@darpa.mil |
| Who Can Apply: | Organization Applicants |
| Assistance Listing Number | Competition ID | Competition Title | Opportunity Package ID | Opening Date | Closing Date | Actions |
|---|---|---|---|---|---|---|
| 12.910 | PKG00262740 | Sep 01, 2020 | Sep 09, 2020 | View |
Package 1
Mandatory forms
328355 RR_SF424_2_0-2.0.pdf
328355 AttachmentForm_1_2-1.2.pdf
328355 RR_KeyPersonExpanded_2_0-2.0.pdf
328355 RR_PersonalData_1_2-1.2.pdf
Optional forms
328355 SFLLL_1_2-1.2.pdf
Share This Post, Choose Your Platform!
About the Author: osnqt
