DARPA’s Information Innovation Office is seeking community feedback on the draft DARPA Guide to Formal Methods to Deliver Resilient Systems (FMDRS) for Proposals.
Where applicable, future DARPA solicitations will require the a Resilient Systems Implementation Plan demonstrating how the proposal team will design, implement and deliver resilient system capabilities.
DARPA is particularly interested in assessment of whether the FMDRS Guide provides sufficient information to create the plan for proposers who lack specific expertise in formal methods.
Responses are to be submitted by 25 February 2025 via email to DARPA-SN-25-34@darpa.mil.
Documents
RFI – FMDRS Guide: DARPA-SN-25-34-Amendment-01
Draft – DARPA Guide for FMDRS for Proposals: Resilient_Systems_Best_Practices_Guide_-_1-9-2025