DARPA发布FLASH项目信息征询，探索以形式化异构性提升网络物理系统韧性

DARPA信息处理技术办公室于11月3日发布编号DARPA-SN-27-17的信息征询，就FLASH（系统异构性形式化学习与抽象）项目向业界和研究人员征集意见，目标是自动生成同一军事系统的多个结构各异但经数学证明能完成相同任务的版本，使某一版本遭攻击或故障时不影响其他版本，回复截止美国东部时间11月30日17时。