Request for Information: Formal Methods to Deliver Resilient Systems (FMDRS)
ID: DARPA-SN-25-34Type: Special Notice
Overview

Buyer

DEPT OF DEFENSEDEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)DEF ADVANCED RESEARCH PROJECTS AGCYARLINGTON, VA, 222032114, USA

NAICS

Research and Development in Biotechnology (except Nanobiotechnology) (541714)

PSC

NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH (AC12)

Original Source

https://sam.gov/opp/1af518c646e44ced895efe56f71f6df6/view
Timeline
    Description

    The Defense Advanced Research Projects Agency (DARPA) is seeking feedback through a Request for Information (RFI) titled "Formal Methods to Deliver Resilient Systems" (FMDRS) to enhance the resilience of systems within the Department of Defense (DoD) using formal mathematical techniques. The RFI aims to gather insights from stakeholders experienced in formal methods to refine the draft FMDRS Guide, which outlines strategies for developing secure and reliable systems capable of withstanding various threats. This initiative is crucial for improving the security and integrity of DoD systems, ensuring they can effectively counter vulnerabilities in an increasingly complex technological landscape. Responses to the RFI are due by February 25, 2025, and interested parties should submit their feedback in accordance with the specified guidelines to DARPA at DARPA-SN-25-34@darpa.mil.

    Point(s) of Contact
    DARPA-SN-25-34@darpa.mil
    DARPA-SN-25-34@darpa.mil
    Files
    Title
    Posted
    DARPA-SN-25-34-Amendment-01.pdf
    The Defense Advanced Research Projects Agency (DARPA) has issued a Request for Information (RFI) seeking feedback on the draft FMDRS Guide, which aims to establish formal methods for delivering resilient systems across various domains, including hardware and software. The RFI emphasizes the need for robust community input to improve the Guide, particularly from those experienced in formal methods. DARPA's goal is to secure and enhance the resilience of Department of Defense (DoD) systems by utilizing formal mathematical techniques, which help ensure that software operates as intended and is free from vulnerabilities. Respondents are encouraged to evaluate the Guide's effectiveness in aiding proposers, especially those lacking expertise in formal methods, and provide recommendations for improvement. Responses to the RFI are due by February 25, 2025, and must adhere to specific submission guidelines, including formatting and page limits. DARPA aims to create a comprehensive Resilient Systems Implementation Plan for future R&D solicitations, underlining the importance of formal methods in competitive proposals. This initiative signifies DARPA's commitment to cultivating a formal methods ecosystem and addressing security challenges within the DoD infrastructure.
    DARPA-SN-25-34-Amendment-02.pdf
    The Defense Advanced Research Projects Agency (DARPA) has issued a Request for Information (RFI) to gather feedback on its draft guide titled "Formal Methods to Deliver Resilient Systems" (FMDRS Guide). This RFI aims to enhance the understanding and application of formal methods—mathematically rigorous techniques for software development intended to bolster security against vulnerabilities—in creating resilient systems across various domains, including hardware and software. DARPA seeks input from diverse stakeholders, notably those experienced in formal methods, to assess the guide's effectiveness in aiding proposers who may lack specific expertise. The agency will use the collected feedback to refine the FMDRS Guide and inform future solicitations. Additionally, respondents are encouraged to propose tools for a related repository, evaluate the guide's guidance on addressing security concerns, and suggest any improvements or omissions. Submissions should be made by March 7, 2025, including non-proprietary responses and adherence to provided formatting guidelines. This initiative fortifies DARPA's commitment to advancing resilient system capabilities within the Department of Defense (DoD) framework, ultimately ensuring mission success in an increasingly complex and vulnerable technological landscape.
    DARPA-SN-25-34.pdf
    The Defense Advanced Research Projects Agency (DARPA) has issued a Request for Information (RFI) designated DARPA-SN-25-34, seeking feedback on the draft "FMDRS Guide" aimed at enhancing the resilience of systems through formal methods. The RFI invites responses from various stakeholders, including companies, academic institutions, and research organizations, by February 25, 2025. The guide integrates formal mathematical techniques to improve software security, which is vital for safeguarding Department of Defense (DoD) capabilities. DARPA intends to incorporate input from this RFI to refine the guide for use in future solicitations and expects proposers to create a detailed implementation plan for resilient systems based on the guide. Key points include the RFI’s focus on system resilience across hardware, cyber-physical systems, and software, along with structured feedback on elements such as the comprehensiveness of the FMDRS Guide. DARPA emphasizes constructing a formal methods ecosystem and encourages participation in related initiatives. Responses should be submitted in specific formats, avoiding classified information. The RFI serves as an important step in fostering collaboration and improving the resilience of critical government systems while ensuring that formal methods are effectively integrated into future projects.
    Resilient_Systems_Best_Practices_Guide_-_1-9-2025.docx
    The DARPA Guide for Formal Methods to Deliver Resilient Systems (FMDRS) provides guidance for proposals addressing resilience through formal methods in response to DARPA Broad Agency Announcements (BAAs) and other RFPs. It emphasizes the Department of Defense's focus on developing high-quality, secure systems capable of withstanding and recovering from attacks. The document outlines the importance of formal methods, which are mathematically rigorous techniques supporting software reliability and security. Proposals must delineate clear resilience goals, detailing the types of threats the system will counter and how those objectives will be achieved. Key areas of focus include system architecture, file formats, data formats, network protocols, type and memory safety, and isolation measures. An example project, the Resilient Octopus Controlled Spacecraft (ROCS), illustrates resilience plans encompassing environmental factors and adversarial threats, while employing robust software development practices in alignment with DARPA's standards for security and system integrity. The guide reinforces the necessity of specific resilience strategies while conforming to broader quality objectives without serving as a formal solicitation.
    Lifecycle
    Title
    Type
    Request for Information: Formal Methods to Deliver Resilient Systems (FMDRS)
    Currently viewing
    Special Notice
    Similar Opportunities
    Request for Information: Techniques and Tools for Vulnerability Assessment of AI-enabled Systems
    Buyer not available
    The Defense Advanced Research Projects Agency (DARPA) is seeking information from industry developers and academic institutions regarding techniques and tools for assessing vulnerabilities in AI-enabled systems relevant to the Department of Defense (DoD). The objective of this Request for Information (RFI) is to gather insights on current and emerging methods that evaluate threats from various adversarial perspectives while considering the entire AI deployment pipeline. This initiative is crucial for addressing the evolving challenges associated with AI technologies in defense settings, particularly in enhancing the robustness of AI systems against adversarial threats. Responses to this RFI, designated DARPA-SN-25-28, are due by February 28, 2025, at 5:00 PM ET, and should be submitted following specified security protocols for unclassified or classified information. Interested parties can contact the BAA Coordinator at DARPA-SN-25-28@darpa.mil for further details.
    Reclaiming Bus-based Systems During Compromise (Red-C)
    Buyer not available
    The Defense Advanced Research Projects Agency (DARPA) is soliciting innovative proposals for the "Reclaiming Bus-based Systems During Compromise (Red-C)" program, aimed at enhancing the cybersecurity of bus-based systems through self-healing technologies. The initiative seeks to develop algorithms that enable firmware retrofitting of individual components to function as forensic sensors, collectively monitoring and repairing systems during cyber-attacks, thereby addressing vulnerabilities associated with cascading implicit trust attacks. Proposals must demonstrate approaches to generate forensic data, ensure system recovery, and maintain integrity without introducing new vulnerabilities, with a goal of achieving Technology Readiness Level (TRL) 6 within two years using existing hardware. Interested parties should submit their proposals by April 10, 2025, and can direct inquiries to the BAA Coordinator at RedC@darpa.mil.
    Enterprise-Wide Dashboard and Analytics Solution with Legacy System Integration Capabilities
    Buyer not available
    The Department of Defense, through the Defense Advanced Research Projects Agency (DARPA), is seeking solutions for an Enterprise-Wide Dashboard and Analytics Solution that integrates legacy systems to enhance executive decision-making capabilities. The initiative aims to address the complexities of DARPA's operational environment by providing real-time access to critical data from various platforms, including DAI and Oracle systems, with specific requirements for seamless integration, automated data refresh, role-based access control, and customizable alerts. Interested parties are encouraged to submit information regarding their technical capabilities, deployment methodologies, and user experience design, with submissions due to the primary contact, Coordinator, at darpa-sn-25-50@darpa.mil. This Request for Information (RFI) emphasizes the importance of non-proprietary information while inviting responses from a broad range of industry leaders, reflecting DARPA's strategic focus on modernizing its operational tools and systems.
    AFRL-RVKY-2025-SHREC
    Buyer not available
    The Department of Defense, through the Air Force Research Laboratory (AFRL), is seeking information from industry and academic sources regarding capabilities in Space, High-Performance, and Resilient Computing (SHREC) as part of a Request for Information (RFI) identified as AFRL-RVKY-2025-SHREC. The objective is to gather insights on fault-tolerant techniques, reliability testing of hardware in radiation environments, and other related technologies to inform future acquisition strategies. This initiative is crucial for advancing computing technologies that support mission-critical applications in government and commercial sectors. Interested parties must submit their responses by February 25, 2025, and can direct inquiries to Mr. Francis M. Eggert at francis.eggert@kirtland.af.mil or Ms. Paige Thompson at paige.thompson@spaceforce.mil.
    Request for Information for Radiological Detection System (RDS)
    Buyer not available
    The Department of Defense, specifically the Department of the Army, is issuing a Request for Information (RFI) for the development of a Radiological Detection System (RDS) intended to replace existing radiological survey meters used by various military branches. The RFI aims to gather information on respondents' capabilities in developing, testing, and manufacturing an RDS that meets the specified performance criteria, with a focus on enhancing radiation detection capabilities across military services and allied nations. Interested parties must submit their responses by February 17, 2025, ensuring compliance with detailed submission criteria, including technical specifications and company information, as the anticipated contract type is a Firm Fixed Price under an Indefinite Delivery, Indefinite Quantity structure, with a projected requirement for up to 16,000 units over five years. For further inquiries, respondents can contact Nathaniel W. Sievers at nathaniel.w.sievers.civ@army.mil or Tyler N. Gates at tyler.n.gates2.civ@army.mil.
    Request for Information (RFI) for Transformational Model – Battle Management Perceive Actionable Entity (PAE) Decision Advantage Sprint for Human-Machine-Teaming (DASH)
    Buyer not available
    The Department of Defense, specifically the Department of the Air Force, is issuing a Request for Information (RFI) for the Transformational Model – Battle Management Perceive Actionable Entity (PAE) Decision Advantage Sprint, aimed at enhancing Human-Machine-Teaming capabilities in command and control (C2) systems. The RFI seeks innovative solutions to improve decision-making processes in contemporary combat environments, focusing on automation to gain decision advantages over adversaries. This initiative is critical for refining military effectiveness in rapidly evolving scenarios, with a PAE DASH event scheduled for March-April 2025, where selected participants will demonstrate their software solutions. Interested parties are encouraged to submit unclassified responses detailing their capabilities and relevant use cases, while ensuring the protection of proprietary information. For further inquiries, contact Lt Col Timothy Wintch at timothy.wintch@us.af.mil or Dr. Elizabeth Frost at elizabeth.frost.7@us.af.mil.
    Tactical Data In Use Security
    Buyer not available
    The Department of Defense, specifically the U.S. Army Combat Capabilities Development Command (DEVCOM), is seeking information from businesses regarding Tactical Data in Use Security, focusing on the integration of Zero Trust (ZT) security capabilities into tactical network architectures. The objective is to enhance data protection against emerging cyber threats in challenging operational environments characterized by denied, degraded, intermittent, or limited communications. This initiative reflects a shift from traditional security models to ZT principles, emphasizing continuous risk assessment and verification of access to network resources. Interested parties are invited to submit their responses within 30 days, with all submissions directed to Wendy Choi at usarmy.apg.devcom-c5isr.mbx.esi-bus-ops-acq-rfi@army.mil, noting that this RFI does not constitute a solicitation and that costs incurred will not be reimbursed.
    Requests for Information (RFI) For Automated Data Analysis
    Buyer not available
    The Department of the Air Force is issuing a Request for Information (RFI) to gather insights on automated data analysis capabilities from U.S.-owned companies. The RFI aims to collect information on technologies that can efficiently triage, curate, and analyze large datasets with minimal human input, while integrating data from various sources across different security levels. This initiative is crucial for enhancing the Air Force's data analysis capabilities and ensuring effective management of complex datasets. Interested parties must submit their responses electronically by February 27, 2025, and can direct inquiries to David Ferris at AFRL.RIED.RFI@us.af.mil or Amber Buckley at amber.buckley@us.af.mil.
    DA01--Zero Trust Application Realtime Protection (ZARP) RFI (VA-25-00050847)
    Buyer not available
    The Department of Veterans Affairs is seeking information from qualified vendors regarding the Zero Trust Application Realtime Protection (ZARP) initiative under solicitation number 36C10B25P0189. This Request for Information (RFI) aims to enhance cybersecurity measures by implementing zero-trust principles for real-time application protection within the Veterans Affairs framework. The initiative underscores the government's commitment to improving application security and fostering effective vendor participation in this critical technology area. Interested parties should direct inquiries to Contract Specialist Michael Berberich at michael.berberich@va.gov, with responses due by February 28, 2025, at 12 PM Eastern Time.
    Request for Information: Revolutionary Fibers and Textiles for Department of Defense (DoD) Manufacturing Innovation Institute (MII)
    Buyer not available
    The Department of Defense (DoD) is issuing a Request for Information (RFI) to gather market intelligence for a Manufacturing Innovation Institute (MII) focused on Revolutionary Fibers and Textiles (RFT). This initiative, managed by the Washington Headquarters Services, aims to enhance advanced manufacturing technologies within the domestic textile industry, addressing all stages from fiber production to finished goods, and supporting national security and economic growth. The RFT MII is crucial for modernizing manufacturing processes, reducing costs, and fostering a competitive U.S. manufacturing base that meets both defense and commercial needs. Interested parties are encouraged to submit their responses detailing capabilities and market opportunities by February 28, 2025, and an industry day will be held in March 2025 for further discussions; for inquiries, contact Jeffrey Pacuska at jeffrey.s.pacuska.civ@army.mil or Suzanne Horner at Suzanne.horner2.civ@army.mil.