Continuous-correctness On Opaque Processors (COOP)
Closed Pre-Solicitation Posted
- Solicitation number
- HR001124S0016
- Agency
- Defense Advanced Research Projects Agency Department of Defense
- Responses due
- Set-aside
- No set-aside
Opportunity facts
- NAICS code
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Points of contact
-
- BAA Coordinator hr001124s0016@darpa.mil
Notice details come from SAM.gov. Updated .
About this opportunity
The Defense Advanced Research Projects Agency (DARPA) has issued a pre-solicitation notice for the Continuous-correctness On Opaque Processors (COOP) program. The COOP program seeks to develop transformative tools and techniques that can continuously guarantee software is running correctly if-and-only-if the device physics is correct. This program combines formal methods and side-channels to unify computer science and physics, aiming to provide continual guarantees of software correctness on any processor with low overhead. DARPA will evaluate proposals based on their scientific and technical merit, contribution to DARPA's mission, and cost and schedule realism. Abstracts are due by March 28, 2024, and full proposals are due by May 13, 2024, with anticipated awards around September 2024.
The COOP program does not have a set-aside designation. DARPA anticipates making multiple awards under this Broad Agency Announcement, either as procurement contracts or other transactions. The program has an 18-month base period and an 18-month option period. DARPA has not provided specific budget ranges or incumbent contractor information in the pre-solicitation notice.
Notice text
The Continuous-correctness On Opaque Processors (COOP) program seeks to develop transformative tools and techniques to continuously guarantee that software is running correctly if-and-only-if the device physics is correct. COOP combines formal methods and side-channels to unify computer science and physics. The COOP program seeks solutions to continually guarantee software correctness on any processor with low overhead.
Attachments
| File | Type | Posted |
|---|---|---|
| COOP_QA_5.7.2024.pdf | ||
| COOP_QA_4.9.2024.pdf | ||
| COOP_Proposers_Day_Slides.pdf | ||
| COOP_Proposers_Day_QA_3.26.2024.pdf | ||
| HR001124S0016.pdf | ||
| Attachment_D_COOP_Proposal_Instructions_and_Volume_II_Template_Cost.docx | DOCX document | |
| Attachment_F_COOP_Associate_Contractor_Agreements.docx | DOCX document | |
| Attachment_C_COOP_Proposal_Instructions_and_Volume_I_Technical_and_Management_Template.docx | DOCX document | |
| Attachment_G_MTO_Controlled_Unclassified_Information_Guide_20231103.pdf | ||
| Attachment_E_COOP_MS_ExcelTM_DARPA_Standard_Cost_Proposal_Spreadsheet.xlsx | XLSX spreadsheet | |
| Attachment_A_COOP_Abstract_Instructions_and_Template.docx | DOCX document | |
| Attachment_B_COOP_Proposal_Summary_Slide.pptx | PPTX presentation | |
| HR001124S0016_Attachment_H_OT_Certs_Template.docx | DOCX document |
Show all 13
On GovTribe
Work this opportunity on GovTribe
- Track it in your pipeline
- Find teaming partners
- Similar opportunities
- Ask GovTribe AI about this opportunity