# Resilient Software Systems (RSS) Accelerator Proposers Day

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

- Solicitation number: DARPA-SN-25-104
- Notice type: Special notice
- Status: Closed. Deadline was September 4, 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: August 22, 2025
- Last posted: August 28, 2025
- SAM.gov: https://sam.gov/workspace/contract/opp/dbeb40aeff8641b0a2b3a99f457faa33/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

- August 22, 2025: Special notice, due August 28, 2025. Notice 57708f2c38be4a5f8476aa54db82a4f8. https://sam.gov/workspace/contract/opp/57708f2c38be4a5f8476aa54db82a4f8/view
- August 27, 2025: Special notice, due September 4, 2025. Notice 8ea39862d5214940a8d8dad74333b254. https://sam.gov/workspace/contract/opp/8ea39862d5214940a8d8dad74333b254/view
- August 28, 2025: Special notice, due September 4, 2025. Notice dbeb40aeff8641b0a2b3a99f457faa33. https://sam.gov/workspace/contract/opp/dbeb40aeff8641b0a2b3a99f457faa33/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/darpasn25104.