Resilient Software Systems (RSS) Accelerator Proposers Day DARPA-SN-25-104
Summary
AI-generated · Aug 24, 2025DARPA intends to run a Resilient Software Systems Accelerator that provides seed funding to developers of formal methods tools who partner with Defense Industrial Base companies to identify DoD systems that could benefit from those tools. The funding would support an initial red-team assessment of the target system’s vulnerabilities, the application of the formal methods tool(s), and a second red-team assessment to measure impact and the level of effort required. Conclusions about the tool’s efficacy will be incorporated into the DARPA Guide to Formal Methods to Deliver Resilient Systems for Proposals (FMDRS Guide).
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 ).
From Special Notice posted on Aug 22, 2025DARPA 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 ).
From Special Notice posted on Aug 27, 2025DARPA 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 ).
From Special Notice posted on Aug 28, 2025Notice history
3-
Special Notice Posted Aug 22, 2025
-
Special Notice LATEST Posted Aug 28, 2025No changes from previous notice
Details
Award Information
Not yet awarded