Resilient Software Systems Accelerator
| Agency: | DEPT OF DEFENSE |
|---|---|
| State: | Federal |
| Type of Government: | Federal |
| FSC Category: |
|
| NAICS Category: |
|
| Posted Date: | Jun 16, 2025 |
| Due Date: | Jul 16, 2025 |
| Solicitation No: | DARPA-SN-25-84 |
| Original Source: | Please Login to View Page |
| Contact information: | Please Login to View Page |
| Bid Documents: | Please Login to View Page |
Description
Follow
Active
Contract Opportunity
Notice ID
DARPA-SN-25-84
Related Notice
Department/Ind. Agency
DEPT OF DEFENSE
Sub-tier
DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)
Office
DEF ADVANCED RESEARCH PROJECTS AGCY
General Information
Classification
Description
Contact Information
History
- Contract Opportunity Type: Special Notice (Original)
- Original Published Date: Jun 16, 2025 12:11 pm EDT
- Original Response Date: Jul 16, 2025 11:59 pm EDT
- Inactive Policy: Manual
- Original Inactive Date: Jul 17, 2025
-
Initiative:
- None
- Original Set Aside:
- Product Service Code: AC12 - NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH
-
NAICS Code:
- 541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
-
Place of Performance:
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”).
Attachments/Links
Contracting Office Address
- 675 NORTH RANDOLPH STREET
- ARLINGTON , VA 222032114
- USA
Primary Point of Contact
- BAA Coordinator
- ResilientSoftwareSystems@darpa.mil
Secondary Point of Contact
- Jun 16, 2025 12:11 pm EDTSpecial Notice (Original)
Get Government Bids Like This by Email
Receive daily bid alerts that match your keywords, business categories, and target regions.
See Also
Follow CTN Data, Statistics, and Clinical Trial Support Center (DSC7) Active Contract Opportunity
HEALTH AND HUMAN SERVICES, DEPARTMENT OF
Due by 9/30/2026
Follow CTN Data, Statistics, and Clinical Trial Support Center (DSC7) Active Contract Opportunity
HEALTH AND HUMAN SERVICES, DEPARTMENT OF
Due by 9/30/2026
Follow FY25 Long Range Broad Agency Announcement (BAA) for Navy and Marine Corps
DEPT OF DEFENSE
Due by 9/30/2026
Follow FY26 NAWCAD Propulsion and Power Technology Development Program Broad Agency Announcement (BAA)
DEPT OF DEFENSE
Due by 9/30/2026
* Disclaimer: This website provides information about bids, requests for proposals (RFPs), or requests for qualifications (RFQs) for convenience only and does not serve as an official public notice. Individuals who wish to respond to or inquire about bids, RFPs, or RFQs should contact the relevant government department directly.