Search Contract Opportunities

Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS)

ID: HR001120S0058 • Type: Presolicitation • Match:  95%
Opportunity Assistant

Hello! Please let me know your questions about this opportunity. I will answer based on the available opportunity documents.

Please sign-in to link federal registration and award history to assistant. Sign in to upload a capability statement or catalogue for your company

Some suggestions:
Please summarize the work to be completed under this opportunity
Do the documents mention an incumbent contractor?
Does this contract have any security clearance requirements?
I'd like to anonymously submit a question to the procurement officer(s)

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.
Show All

Overview

Agency
Defense Advanced Research Projects Agency (DARPA) [DoD]
Response Deadline
Sept. 9, 2020, 12:00 p.m. EDT Past Due
Posted
July 24, 2020, 12:28 p.m. EDT (updated: Sept. 1, 2020, 4:17 p.m. EDT)
Set Aside
None
NAICS
541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
PSC
A - Research And Development
Place of Performance
Not Provided
Source
Open
Current SBA Size Standard
1000 Employees
Pricing
Multiple Types Common
Est. Level of Competition
High
Odds of Award
46%
On 7/24/20 Defense Advanced Research Projects Agency issued Presolicitation HR001120S0058 for Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS) due 9/9/20. The opportunity was issued full & open with NAICS 541715 and PSC A.
Primary Contact
Name
BAA Coordinator   Profile
Email
v-spells@darpa.mil
Phone
None

Documents

Posted documents for Presolicitation HR001120S0058

Question & Answer

The AI Q&A Assistant has moved to the bottom right of the page

Contract Awards

Prime contracts awarded through Presolicitation HR001120S0058

Incumbent or Similar Awards

Potential Bidders and Partners

Awardees that have won contracts similar to Presolicitation HR001120S0058

Similar Active Opportunities

Open contract opportunities similar to Presolicitation HR001120S0058

Additional Details

Source Agency Hierarchy
DEPT OF DEFENSE > DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) > DEF ADVANCED RESEARCH PROJECTS AGCY
FPDS Organization Code
97AE-HR0011
Source Organization Code
500035490
Last Updated
Oct. 9, 2020
Last Updated By
PI33_DR_IAE_51681
Archive Date
Oct. 9, 2020