SPECIAL NOTICE
A -- Resilient Software Systems Accelerator
- Notice Date
- 6/16/2025 9:11:09 AM
- Notice Type
- Special Notice
- 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
- DARPA-SN-25-84
- Response Due
- 7/16/2025 11:59:00 PM
- Archive Date
- 07/17/2025
- Point of Contact
- BAA Coordinator
- E-Mail Address
-
ResilientSoftwareSystems@darpa.mil
(ResilientSoftwareSystems@darpa.mil)
- Description
- DARPA is working on additional pathways to support the transition of formal methods tools, including conducting a Resilient Software Systems Accelerator. This accelerator will provide seed funding to formal methods tool developers who partner with Defense Industrial Base companies to identify DoD systems that would benefit from the use of their tools as described above. DARPA funding would support an initial red team assessment of the DoD system�s vulnerabilities, the application of the formal methods tool(s), and a second red team assessment to measure impact and level of effort. Conclusions from the efficacy of the tool would be incorporated into the DARPA Guide to Formal Methods to Deliver Resilient Systems for Proposals (�the FMDRS Guide�).
- Web Link
-
SAM.gov Permalink
(https://sam.gov/opp/4ac02c24e01b472f93af754f506b940f/view)
- Record
- SN07478309-F 20250618/250616230042 (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 |