Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS)
Closed Pre-Solicitation Posted
- Solicitation number
- HR001120S0058
- Agency
-
Defense Advanced Research Projects Agency
Department of Defense
- Responses due
- Set-aside
- No set-aside
Opportunity facts
- NAICS code
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- PSC
- A Research And Development
Notice details come from SAM.gov. Updated .
About this opportunity
The Defense Advanced Research Projects Agency seeks proposals to develop practical tools enabling incremental modernization of legacy software systems through formal verification methods under the Verified Security and Performance Enhancement of Large Legacy Software program. Proposals are due by September 9, 2020 and will be evaluated based on technical approach, team organization, cost, schedule, and risk mitigation plans. Research will involve four technical areas including automated program understanding, compositional DSL programming, verified layer flattening and distribution, and demonstration and evaluation. There is no set-aside designation for this opportunity.
Research will involve NAICS code 541712 for research and development in the physical, engineering, and life sciences with PSC code R699 for engineering and technical services. The agency anticipates total funding of approximately $40 million over four years awarded through multiple contracts for the first three technical areas and a single award for the fourth area. The period of performance consists of three phases over four years to create a capability for piece-by-piece enhancement of software components with new verified code that is correct-by-construction and compatible-by-construction.
Notice text
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.
Files
| File | Type | Posted |
|---|---|---|
| HR001120S0058-Amendment-02.pdf | ||
| DSCPS General Instructions_v2.docx | DOCX document | |
| DARPA Standard Cost Proposal Spreadsheet (Single TA)_08-2020.2.xlsx | XLSX spreadsheet | |
| DARPA Standard Cost Proposal Spreadsheet (Multiple TAs)_08-2020.2.xlsx | XLSX spreadsheet | |
| HR001120S0058-Amendment-01.pdf | ||
| HR001120S0058.pdf | ||
| DARPA Standard Cost Proposal Spreadsheet (Multiple TAs)_04-2020.xlsx | XLSX spreadsheet | |
| V-SPELLS_BAA_proposal_LoE_table_template_SkillSets.xlsx | XLSX spreadsheet | |
| V-SPELLS_BAA_Attachment_Proposal_Summary_Chart_Template.pptx | PPTX presentation | |
| DSCPS General Instructions.docx | DOCX document |
On GovTribe
Work this opportunity
- Track it in your pipeline
- Find teaming partners
- Similar opportunities
- Ask GovTribe AI about this opportunity