国防高等研究計画局（Defense Advanced Research Projects Agency: DARPA）は6月17日、空軍（Air Force）と連携し、無人攻撃機MQ-9リーパー（MQ-9 Reaper）のソフトウェア開発に数理的手法を取り入れると発表した。同局のレジリエント・ソフトウェア・システム・キャップストーン・プログラム（Resilient Software Systems Capstone program）を通じ、ソフトウェアの脆弱性を開発段階で数学的に検証する手法を導入し、総合的なサイバー防衛強化を確保する。これにより、ソフトウェア開発サイクルの上流工程での検証作業が可能となり、従来12〜18カ月を要していた開発・サイバー試験の期間短縮につなげる。また、MQ-9の俊敏性向上だけでなく、関連機関の後続プログラムにも活用する見通しである。同局は海軍（Department of the Navy）や陸軍（Department of the Army）、航空宇宙局（NASA）とも同プログラムの追加試験を進める予定という。

DARPA “Accelerating cyber resilience: Air Force, DARPA join forces to strengthen cyber defenses” (06/17/25)
https://www.darpa.mil/news/2025/accelerating-cyber-resilience-air-force-darpa-join-forces-strengthen-cyber-defenses