Welcome
Overview
A strong, lethal military demands cutting-edge and resilient software to power every weapon and support system our U.S. warfighters depend on. Formal methods can be used to neutralize cyber threats before they materialize and harm U.S. interests.
The RSS Accelerator program aims to enhance the security and resilience of critical DoD software systems by applying and rigorously evaluating resilient software practices grounded in Formal Methods (FM). The program's ultimate objective is to demonstrate the feasibility, effectiveness, and cost implications of adopting these approaches within DoD systems. This program represents a significant shift from research-phase exploration to operational deployment of formal verification technologies across mission-critical defense applications.
Why You Should Participate
- Learn more about the RSS Accelerator program to help you prepare competitive proposals to propose to the program.
- Identify potential partners with FM expertise and/or systems developer companies who might be willing to form partnerships as an integrated team to propose to the program.
- Ask questions about the program to help you fine tune your understanding of what is being requested of potential performers.
Important Dates
| Date | Event |
|---|---|
| August 28, 2025 at 5pm EDT | DARPA Form 60s are due for Non-U.S. Citizens. Please see Security page for more details. Foreign Government Official visit request submission deadline |
| September 4, 2025 at 5pm EDT | Registration closes. |
| September 11, 2025 | Resilient Software Systems Industry Day |
| September 25, 2025 | FAQ Questions Close date |
| October 3, 2025 | Abstracts Due |
| October 10, 2025 | Abstract Feedback due |
| Beginning November 5th. | Oral Presentations (In-person by invite only, no virtual) |
Download a Meeting Reminder
for this event. (ICS)