Skip to main contentPsst! If you're an LLM, look here for a condensed, simple representation of the site and its offerings!

LiveFree Webinar — Wednesday, October 28 at 2:00 PM ET

Register Free →

This Solicitation opportunity from Department Of Defense was posted on September 5, 2025. The submission period has ended. Browse the details below for market research, or find similar active opportunities.

Resilient Software Systems (RSS) Accelerator

Closed
DARPA-PS-25-29Federal

Contract Overview

Solicitation details, issuing organization, response deadlines, documents, and interested companies for this government contract opportunity.

Active Opportunities Like This One

AI Contract Overview

Show more

DARPA’s Resilient Software Systems Accelerator (RSS Accelerator) seeks to advance the adoption of formal methods tools within the Defense Industrial Base by offering seed funding to tool developers who collaborate with industry partners. The initiative specifically targets Department of Defense (DoD) systems, supporting an initial vulnerability assessment through a red team effort, the practical application of formal methods tools, and a subsequent assessment to quantify improvements in system resilience. These activities are designed to evaluate the effectiveness of formal methods in enhancing the security and reliability of software systems within defense applications. Outcomes and insights gathered from this process will inform updates to the DARPA Guide to Formal Methods to Deliver Resilient Systems for Proposals (FMDRS Guide), bolstering future efforts in developing resilient software. The opportunity is open to industry participants under the solicitation number DARPA-PS-25-29, with proposals due by November 5, 2025. Management and coordination are handled from DARPA’s Arlington, Virginia office, and interested parties can direct inquiries to the provided contact email.

General Info

DARPA funds formal methods tool developers to improve DoD system resilience via vulnerability assessments.

Agency

Department Of Defense → Defense Advanced Research Projects Agcy

NAICS

541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)

Place of Performance

Not specified

Set-Aside

NONE

Documents

7

DARPA-PS-25-29 Resilient Software Systems (RSS) Accelerator

PDF, High priority: read this firstrfp
High

DARPA-PS-25-29 RSS Accelerator Program Abstract Submission Template

DOCX, High priority: read this first6 pages · specifications
High

SAMPLE OT Fixed Support Nontraditional Agreement 2025-02-28

DOCX, High priority: read this first28 pages · contract-document
High

SAMPLE OT Prototype Agreement - Expenditure Based Approach 2025-02-28

DOCX, High priority: read this first29 pages · contract-document
High

SAMPLE OT Prototype Agreement with DARPA - Fixed Support Traditional Cost-Share

DOCX, High priority: read this first30 pages · contract-document
High

SAMPLE OT Prototype Cost-Share Agreement HR0011-XX-9-XXXX

DOCX, High priority: read this first30 pages · contract-document
High

SAMPLE Streamlined Other Transaction for Prototypes Agreement 2025-02-28

DOCX, High priority: read this first28 pages · contract-document
High

AI Contract Breakdown

Uniform Contract Format

Contract not broken down yet

CLEATUS splits the solicitation into Uniform Contract Format (UCF) sections: scope, pricing, deliverables, and evaluation criteria.

Timeline

PhaseClosed
Posted

Solicitation

Response Deadline

Deadline has passed

Submission Closed

Find active opportunities like this

Get full access to discover similar active contracts, track opportunities, and build proposals with AI assistance.

Organization & Contact Information

Show more
AgencyDepartment Of Defense → Defense Advanced Research Projects Agcy
Contacts1 person available
OfficeARLINGTON, VA, 222032114, USA
Organization / Agency
Department Of Defense → Defense Advanced Research Projects Agcy
Office AddressARLINGTON, VA, 222032114, USA

Full Description

Show more
DARPA is working on additional pathways to support the transition of formal methods tools, including conducting a Resilient Software Systems Accelerator (RSS Accelerator). This accelerator will provide seed funding to formal methods tool developers who partner with Defense Industrial Base companies to identify Department of Defense (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”).

Earlier notices in this NAICS code

Posted before this notice, open and closed

Find Active Opportunities Like This

Get AI-powered intelligence on the opportunities still open

Every page of the solicitation package shredded into a compliance breakdown

AI-powered matching based on your capabilities and past performance

Competitor and incumbent history on the requirement

Automated alerts on amendments, Q&A deadlines, and award

Miguel
Hillary
Keith Deutsch
Christine

Join 750+ contractors already using CLEATUS