濮阳市华龙区博一锁具维修服务部

联系我们

美国国防高级研究计划局正探索保护遗留系统中

时间:2020-08-01 20:27 来源: 作者:木木

据美国C4ISR网站2020年7月29日报道,美国国防高级研究计划局(DARPA)正开展工作以减少将新代码引入遗留系统存在的安全风险问题。在7月24日发布的广泛机构公告中,DARPA宣布将开展名为“大型遗留软件的验证安全性和性能增强”的新研究项目,投资4000万美元为开发人员创建一种能力,允许使用“构造正确、构造兼容”的新代码对软件组件进行增量增强,推动其安全地与系统其余部分的集成相结合。

该项目将产生理论、技术、工具和正式的证明方法,以形成实验原型,为逐项性能和安全性增强或替换关键任务系统中的旧代码提供功能,预计将为技术过渡提供起点,并确保网络物理系统领域关键任务软件的渐进式现代化。项目共有四个技术领域:自动化的、迭代的交互式程序理解,组合[领域特定语言]编程、组件规范推理,经过验证的层展平和分布,以及演示和评估。除技术领域4获得一份合同支持外,DARPA也会为其他三个技术领域提供多个订单资助。项目预计运转四年,包括三个阶段,第一、二阶段将持续18个月,第三阶段将持续一年。(中国电科发展战略研究中心 秦浩)

上一篇:印度将开发两种新型战斗机
下一篇:没有了

友情链接

Copyright © 1998 - 2016 Tencent. All Rights Reserved
豫ICP备12006420号-1