Skip to content
  • 6,813 federal solicitations are open right now. How many of them are yours?
  • New solicitations are posted every day. The ones you never saw are the ones you cannot win.
  • Stop checking SAM.gov every morning. Let the contracts that fit your business come to you.
  • Tell Abierto what you sell in one sentence. AI reads every open solicitation for you.
  • Deadlines are short. Hear about a solicitation the day it is posted, not the week it closes.
  • Amendments move deadlines. Watch a solicitation and Abierto tells you when it changes.
  • See which contracts in your field are about to end, and who holds them today.
  • Plans from $39 a month. See your matches before you pay.
See plans
AbiertoGet started
Menu

Solicitation

Resilient Software Systems (RSS) Accelerator

DARPA-PS-25-29

Defense Advanced Research Projects Agency, Def Advanced Research Projects Agcy. Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology).

127 open like this View on SAM.gov Markdown

Response deadline

November 5, 2025

Closed 361 days ago. Posted September 26, 2025, first published September 5, 2025. Scheduled to archive December 5, 2025.

Get the next one like this from Defense Advanced Research Projects Agency by email, the day it is posted.Find my opportunities

This one closed in 2025

127 like it are open now in research and development in the physical, engineering, and life sciences (except nanotechnology and biotechnology)

All 127 open in research and development in the physical, engineering, and life sciences (except nanotechnology and biotechnology)

Description

As published on SAM.gov.

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”).

Attachments

Files listed on SAM.gov. The ones we hold a copy of download from here; the rest open SAM's download, which needs no account.

Publications

Every notice SAM.gov issued under this solicitation number, oldest first. Each is a separate record on SAM.

  1. September 5, 2025

    Solicitation

    Due November 5, 2025. SAM.gov, notice c12fb07176314fb987679f279672df2c

    3 revisions on SAM
    • September 26, 2025: publish, solicitation
    • September 17, 2025: publish, solicitation
    • September 5, 2025: publish, solicitation

  2. September 17, 2025

    Solicitation

    Due November 5, 2025. SAM.gov, notice ea9a85b7ea854775a8c5d3fedc417c2a

    3 revisions on SAM
    • September 26, 2025: publish, solicitation
    • September 17, 2025: publish, solicitation
    • September 5, 2025: publish, solicitation

  3. September 26, 2025

    Solicitation

    Due November 5, 2025. SAM.gov, notice 2e2ffe00c29944da8dcc41fa4278010d

    3 revisions on SAM
    • September 26, 2025: publish, solicitation
    • September 17, 2025: publish, solicitation
    • September 5, 2025: publish, solicitation

Points of contact