RFI: Levels of Resilience through Formal Methods
Overview
Buyer
Place of Performance
NAICS
PSC
Set Aside
Original Source
Timeline
Qualification Details
Fit reasons
- NAICS alignment with historical contract wins in similar service areas.
- Scope strongly matches core technical capabilities and delivery model.
Risks
- Past performance thresholds may require one additional teaming partner.
- Potential clarification needed on staffing minimums before bid/no-bid.
Next steps
Validate eligibility requirements, assign capture owner, and schedule partner outreach to confirm teaming strategy before submission planning.
Quick Summary
The Defense Advanced Research Projects Agency (DARPA) Information Innovation Office (I2O) has issued a Request for Information (RFI) seeking approaches, tools, and practices for achieving graduated levels of software resilience and assurance. This RFI aims to gather insights on defining, implementing, measuring, and sustaining rigorous, mechanized, and automated software assurance across the development lifecycle. Responses are due June 12, 2026.
Purpose & Scope
DARPA I2O is conducting market research to understand current capabilities and innovative ideas related to software resilience. Key areas of interest for responses include:
- Graduated Levels of Software Assurance: Evaluating and refining DARPA's conceptual outline for assurance levels, including technical mechanisms, assumptions, scalability, tooling, and measurable properties.
- Artifacts and Toolchains: Identifying tools and workflows that utilize machine-readable artifacts for automated/semi-automated analysis to ensure fidelity between code, models, interfaces, and requirements.
- Incremental Adoption and Composition: Proposing methods for gradually introducing higher assurance levels into legacy or ongoing development programs, including composability and partial adoption strategies.
- Operational and Economic Considerations: Providing evidence on how incremental assurance levels impact development velocity, sustainment costs, workforce requirements, defect density, and system resilience.
- Transition and Acquisition Implications: Recommending how graduated assurance levels can be incorporated into government acquisition, sustainment, and supply chain processes.
Submission Details
- Deadline: June 12, 2026, 5:00 PM ET.
- Method: Unclassified responses via email to ResilientSoftwareSystems@darpa.mil.
- Format: Single integrated response, unprotected Microsoft Word document or PDF file.
- Page Limit: Not exceeding 10 pages (excluding cover sheet and references).
Eligibility
Responses are welcome from all capable sources, including private companies, public companies, individuals, universities, university-affiliated research centers, not-for-profit research institutions, and U.S. Government-sponsored labs.
Important Note
This RFI is for informational and planning purposes only and is not a solicitation for abstracts or proposals. It will not result in a contract award, and DARPA will not reimburse costs incurred in responding.
Contract & Timeline
- Type: Special Notice / Request for Information (RFI)
- Set-Aside: None specified
- Response Due: June 12, 2026, 5:00 PM ET
- Published: May 4, 2026
Contact
Primary Contact: RFI Coordinator (ResilientSoftwareSystems@darpa.mil)