Military Researchers Seek Industry Input on Trusted Computing Methodologies
February 4, 2025 – DARPA’s Request for Information on FMDRS
The U.S. military’s Defense Advanced Research Projects Agency (DARPA), located in Arlington, Virginia, is reaching out to industry experts for insights on developing trusted computing systems. This initiative aims to ensure predictable operational behavior devoid of unexpected complications.
In a recent move, DARPA has issued a Request for Information concerning the Formal Methods to Deliver Resilient Systems (FMDRS), also known as the FMDRS Guide. The agency is eager to hear from companies with expertise in formal methods implementations to refine this guide.
About the FMDRS Guide
DARPA officials are keen to receive feedback on the FMDRS Guide’s content and applications. Industry insights will significantly influence the integration and future solicitation processes tied to the FMDRS Guide.
A draft version of the FMDRS guide can be accessed and downloaded online at the following link: FMDRS Draft Guide.
Goals for Trusted Computing Systems
DARPA’s ambition is to establish resilient trusted computing frameworks. This includes hardware, cyber-physical systems, and software designed to secure operations while eliminating exploitable vulnerabilities across current and future military assets.
Cyber-physical systems integrate embedded computing and digital networks for monitoring and managing real-world processes, featuring feedback loops that allow these processes and computing elements to interact. Notable examples include automatic avionics, robotics, autonomous vehicles, smart grids, and various process-control systems.
Implementing Mathematical Methods
The implementation of formal mathematical methods seeks to enhance the security posture of the military’s extensive inventory of legacy software and its future capabilities, ensuring effective mission execution.
DARPA is particularly focused on evaluating whether the FMDRS Guide offers adequate guidance for stakeholders who may lack specific knowledge in formal methods.
How to Provide Feedback
For clarification or further questions, feel free to reach out to DARPA at darpa@darpa.mil. Additional details can be found at DARPA Opportunity Page.
Author Information
John Keller serves as the Editor-in-Chief for Military & Aerospace Electronics Magazine, providing crucial insights and analysis within the spheres of military, space, and commercial aviation technologies. With a tenure commencing in 1989 and having been the chief editor since 1995, John’s expertise continues to be invaluable.
For further reading, please visit the Original Article.
