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
    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.
    REQUEST FOR INFORMATION (RFI) Support to the Air Force Distributed Common Ground System (DCGS) Systems Field Support (DSFS)
    Buyer not available
    The Department of Defense, specifically the Department of the Air Force, is seeking information from potential contractors to support the Air Force Distributed Common Ground System (DCGS) Systems Field Support (DSFS). The procurement aims to sustain and maintain Radio Frequency (RF) services critical for Intelligence, Surveillance, and Reconnaissance (ISR) operations, including program management, hardware maintenance, and logistics support. This initiative is vital for ensuring operational readiness and effectiveness in military operations, with a minimum uptime requirement of 99.5% for the systems involved. Interested parties must submit their responses to the Request for Information (RFI) by March 28, 2025, and can direct inquiries to ShaNellda Harris at shanellda.harris@us.af.mil or Samantha Taylor at samantha.taylor.12@us.af.mil.
    Large Bio-Mechanical Space Structures
    Buyer not available
    The Department of Defense, through the Defense Advanced Research Projects Agency (DARPA), is seeking innovative responses to a Request for Information (RFI) focused on the development of large bio-mechanical space structures, such as space elevators and debris remediation nets. The objective is to explore the feasibility of utilizing advances in biological engineering and metabolic processes to create structures exceeding 500 meters, which could significantly reduce payload requirements from Earth. This initiative is critical for advancing in-situ grown structures that offer structural rigidity and controlled growth directionality, thereby enhancing capabilities in space exploration and utilization. Interested parties must submit their responses by March 27, 2025, in a specified format, and can direct inquiries to Dr. Michael "Orbit" Nayak at DARPA via email at DARPA-SN-25-51@darpa.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 military operations. The initiative seeks innovative solutions to improve command and control (C2) systems, focusing on the integration of various data inputs to support decision-making processes in contemporary combat scenarios. This RFI serves as a preliminary step to gather insights and does not solicit proposals, with a planned PAE DASH event occurring in March-April 2025 for selected participants to demonstrate their software solutions. Interested parties are encouraged to submit unclassified responses detailing their capabilities and relevant use cases, with inquiries directed to 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, with a focus on integrating Zero Trust (ZT) security capabilities into tactical network architectures. The objective is to enhance data protection against emerging cyber threats in operational environments that may experience denied, degraded, intermittent, or limited communications, moving away from traditional security models to a ZT approach that emphasizes continuous risk assessment and verification. Interested parties are invited to submit their capabilities and relevant technology information by March 19, 2025, with the understanding that this Request for Information (RFI) does not constitute a solicitation and that costs incurred will not be reimbursed. For further inquiries, respondents can contact Wendy Choi at usarmy.apg.devcom-c5isr.mbx.esi-bus-ops-acq-rfi@army.mil.
    Request for Information (RFI): Modular Open Radio Frequency Architecture (MORA) Aligned RF Amplifier - System
    Buyer not available
    The Department of Defense, specifically the Army, has issued a Request for Information (RFI) for the development of a Modular Open Radio Frequency Architecture (MORA) Aligned RF Amplifier System. This RFI aims to gather information on potential sources and emerging technologies that can support a vehicle-mounted RF distribution and amplification system, with responses requested from cleared defense contractors. The government emphasizes that this inquiry is for information-gathering purposes only and does not indicate a commitment to solicit proposals or award contracts. Interested parties must submit their white papers, detailing technical specifications, capabilities, and rough cost estimates by March 26, 2025, and can request draft requirements through DoD Safe. For further inquiries, contact Kellie R. Clavijo at kellie.r.clavijo.civ@army.mil or Jay Kent at jay.a.kent.ctr@army.mil.
    FA830725RB032 SD Elements FY25 RFI
    Buyer not available
    The Department of Defense, specifically the Department of the Air Force, is seeking information from vendors regarding the provision of threat modeling software, SD Elements, through a Sources Sought notice titled "FA830725RB032 SD Elements FY25 RFI." The procurement aims to identify solutions that can customize threat models, enforce NIST security standards, and integrate with DevSecOps processes, all while operating within a Kubernetes environment and utilizing single sign-on protocols. This software is crucial for enhancing software security compliance and efficiency throughout the development lifecycle, particularly for defense applications. Interested vendors should reach out to Ms. M Elizabeth Pittman at martha.pittman@us.af.mil or Maj. Jamail Walker at jamail.walker.1@us.af.mil for further details on the requirements and submission process.
    Long Range Discrimination Radar (LRDR) Persistent Discrimination & Sustainment (PD&S) Request for Information (RFI)
    Buyer not available
    The Missile Defense Agency (MDA) of the Department of Defense is issuing a Request for Information (RFI) regarding the Long Range Discrimination Radar (LRDR) Persistent Discrimination & Sustainment (PD&S) initiative. This procurement aims to gather insights and capabilities related to the research and development of radar equipment, specifically focusing on persistent discrimination and sustainment technologies critical for missile defense operations. The LRDR is essential for enhancing the United States' defense capabilities against missile threats, and the MDA seeks to engage with industry partners to explore innovative solutions and technologies. Interested parties can reach out to Brandon Smith at brandon.a.smith@mda.mil or LaShonda Fletcher at lashonda.fletcher@mda.mil for further information, with responses to the RFI expected to contribute to future procurement strategies.
    Physics-Based Control Over de novo Synthesis of DNA or RNA
    Buyer not available
    The Defense Advanced Research Projects Agency (DARPA) is seeking qualified entities to respond to a Request for Information (RFI) focused on the physics-based control over the de novo synthesis of DNA and RNA sequences in living cells. The initiative aims to develop innovative methods for template-free synthesis, addressing challenges related to scalability and environmental impacts of traditional synthesis approaches. This effort is significant for advancing synthetic biology, with potential applications in biopharmaceuticals and genetic engineering. Interested parties are encouraged to submit their responses, and DARPA may host a workshop on May 1, 2025, in Arlington, VA, for selected respondents, with travel costs reimbursed. For further inquiries, contact the BAA Coordinator at DARPA-SN-25-46@darpa.mil.