Request for Information: Formal Methods to Deliver Resilient Systems

I2O Request for Information (RFI): Formal Methods to Deliver Resilient Systems

DARPA's Information Innovation Office (I2O) seeks community feedback on the draft Guide to Formal Methods to Deliver Resilient Systems for Proposals (“the FMDRS Guide”). DARPA is interested in feedback from all capable sources, particularly those sources with formal methods implementation experience, on:

The scope and breadth of the FMDRS Guide, and whether the FMDRS Guide provides sufficient information to create the Resilient Systems Implementation Plan for proposers who lack specific expertise in formal methods.

Responses to this RFI will be used to inform the use of the FMDRS Guide in future DARPA solicitations.

DARPA seeks to create resilient systems, including hardware, cyber-physical systems, and purely software systems. Over the past decade, DARPA has produced a set of scalable tools that can secure and prove the absence of exploitable vulnerabilities across nearly all existing and future Department of Defense (DoD) systems.

When applicable and appropriate, future DARPA research and development solicitations will require proposers to develop and submit a Resilient Systems Implementation Plan that demonstrates how the proposal team will design, implement, and deliver resilient system capabilities.

ACCESS THE FMDRS GUIDE & RFI INSTRUCTIONS

For complete details on this RFI, visit the following link at Sam.gov. There, you can download the RFI and draft FMDRS Guide.

https://sam.gov/opp/1fbef90fc098420e9e942f9ce2b643f5/view 

SUBMISSION INSTRUCTIONS:

Responses to this RFI should be submitted no later than 5:00 p.m. ET on February 25, 2025.