SPECIAL NOTICE
A -- Request for Information: DoD Relevant System Nominations to Deliver Resilient Software Systems
- Notice Date
- 3/10/2025 4:31:08 AM
- Notice Type
- Special Notice
- NAICS
- 541715
— Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Contracting Office
- DEF ADVANCED RESEARCH PROJECTS AGCY ARLINGTON VA 222032114 USA
- ZIP Code
- 222032114
- Solicitation Number
- DARPA-SN-25-55
- Response Due
- 4/3/2025 5:00:00 PM
- Archive Date
- 04/04/2025
- Point of Contact
- BAA Coordinator
- E-Mail Address
-
DARPA-SN-25-55@darpa.mil
(DARPA-SN-25-55@darpa.mil)
- Description
- The Defense Advanced Research Projects Agency (DARPA) Information Innovation Office (I2O) seeks information on current and/or future Department of Defense (DoD) systems that would benefit from the use of tools employing software development practices based on formal mathematical methods (i.e., 'formal methods') to verify mathematically that, after application of these tools, systems act in ways that are intended and not in unintentional ways. DARPA is interested in feedback from all capable sources, particularly those sources with formal methods implementation experience. The goal of this RFI is to solicit information about DoD systems where DARPA tools and expertise can improve the resilience to adversarial attacks.
- Web Link
-
SAM.gov Permalink
(https://sam.gov/opp/51f34228c0ab4e388c97d33b424bdc3e/view)
- Record
- SN07366012-F 20250312/250310230041 (samdaily.us)
- Source
-
SAM.gov Link to This Notice
(may not be valid after Archive Date)
| FSG Index | This Issue's Index | Today's SAM Daily Index Page |