Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS)
info alert
Note: There have been new actions to this contract opportunity. To view the most recent action, please click here.
Inactive
Contract Opportunity
Notice ID
HR001120S0058
Department/Ind. Agency
DEPT OF DEFENSE
Sub-tier
DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)
Office
DEF ADVANCED RESEARCH PROJECTS AGCY
Looking for contract opportunity help?
APEX Accelerators are an official government contracting resource for small businesses. Find your local APEX Accelerator (opens in new window) for free government expertise related to contract opportunities.
APEX Accelerators are funded in part through a cooperative agreement with the Department of Defense.
The APEX Accelerators program was formerly known as the Procurement Technical Assistance Program (opens in new window) (PTAP).
General Information
- Contract Opportunity Type: Presolicitation (Original)
- Original Published Date: Jul 24, 2020 12:28 pm EDT
- Original Response Date: Sep 09, 2020 12:00 pm EDT
- Inactive Policy: Manual
- Original Inactive Date: Oct 09, 2020
- Initiative:
- None
Classification
- Original Set Aside:
- Product Service Code: A - RESEARCH AND DEVELOPMENT
- NAICS Code:
- 541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Place of Performance:
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.
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.
Attachments/Links
Contact Information
Contracting Office Address
- 675 NORTH RANDOLPH STREET
- ARLINGTON , VA 222032114
- USA
Primary Point of Contact
- BAA Coordinator
- V-SPELLS@darpa.mil
Secondary Point of Contact
History
- Oct 09, 2020 11:55 pm EDTPresolicitation (Updated)
- Aug 27, 2020 03:27 pm EDTPresolicitation (Updated)
- Jul 24, 2020 12:28 pm EDTPresolicitation (Original)