# Resilient Software Systems Accelerator

Canonical: https://abierto.us/opportunities/darpasn2584

- Solicitation number: DARPA-SN-25-84
- Notice type: Special notice
- Status: Closed. Deadline was July 16, 2025
- Department: Department of Defense
- Agency: Defense Advanced Research Projects Agency
- Contracting office: Def Advanced Research Projects Agcy (HR0011)
- NAICS: 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Product or service code: AC12 National Defense R&D Services; Department Of Defense - Military; Applied Research
- First posted: June 16, 2025
- Last posted: June 16, 2025
- SAM.gov: https://sam.gov/workspace/contract/opp/4ac02c24e01b472f93af754f506b940f/view

## 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”).

## Publications

- June 16, 2025: Special notice, due July 16, 2025. Notice 4ac02c24e01b472f93af754f506b940f. https://sam.gov/workspace/contract/opp/4ac02c24e01b472f93af754f506b940f/view

## Points of contact

- BAA Coordinator, ResilientSoftwareSystems@darpa.mil

---
Source: SAM.gov Contract Opportunities bulk extract. Confirm deadlines on SAM.gov before responding. Cite https://abierto.us/opportunities/darpasn2584.