Closed Solicitation · DEPT OF DEFENSE
AI Summary
The Defense Advanced Research Projects Agency (DARPA) is hosting a Proposers Day for its Resilient Software Systems Accelerator, aimed at supporting the transition of formal methods tools. This initiative will provide seed funding to developers collaborating with Defense Industrial Base companies to assess and enhance DoD systems' vulnerabilities using these tools. The outcomes will inform the DARPA Guide to Formal Methods for Resilient Systems. Interested bidders should note the event date and funding opportunities.
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”).
RESILIENT SOFTWARE SYSTEMS (RSS) ACCELERATOR PROPOSERS DAY is a federal acquisition solicitation issued by DEPT OF DEFENSE. Review the full description, attachments, and submission requirements on SamSearch before the response deadline.
SamSearch Platform
AI-powered intelligence for the right opportunities, the right leads, and the right time.