SOLICITATION NOTICE
A -- Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS)
- Notice Date
- 9/1/2020 1:17:57 PM
- Notice Type
- Presolicitation
- NAICS
- 541715
— Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Contracting Office
- DEF ADVANCED RESEARCH PROJECTS AGCY ARLINGTON VA 222032114 USA
- ZIP Code
- 222032114
- Solicitation Number
- HR001120S0058
- Response Due
- 9/9/2020 12:00:00 PM
- Archive Date
- 10/09/2020
- Point of Contact
- BAA Coordinator
- E-Mail Address
-
V-SPELLS@darpa.mil
(V-SPELLS@darpa.mil)
- 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.
- Web Link
-
SAM.gov Permalink
(https://beta.sam.gov/opp/99e10fef8fe941e0813ea4220d262306/view)
- Record
- SN05781680-F 20200903/200901230138 (samdaily.us)
- Source
-
SAM.gov Link to This Notice
(may not be valid after Archive Date)
| FSG Index | This Issue's Index | Today's SAM Daily Index Page |