Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS)
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 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.
Agency: Department of Defense
Office: DARPA - Information Innovation Office
Estimated Funding: $175,000
Office: DARPA - Information Innovation Office
Estimated Funding: $175,000
Obtain Full Opportunity Text:
Beta.SAM Contract Opportunities
Additional Information of 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.
Full Opportunity Web Address:
https://beta.sam.gov/opp/7dc5798bf5e74d8aa3df767edd3e0815/view
Contact:
Agency Email Description:
If you have any problems linking to this funding announcement, please contact the NIH OER Webmaster
Agency Email:
Date Posted:
2020-07-24
Application Due Date:
Archive Date:
2020-10-09
Social Entrepreneurship
Spotlight
Rwanda as Social Entrepreneur Fund Beneficiary
The Republic of Rwanda has been picked as one of the six African countries as beneficiaries for a new fellowship fund program designed at supporting social entrepreneurs in tackling issues on food security.
Learn How to Identify and Avoid Grant Scams
