权威国防科技信息门户
国防科技大数据智能情报平台
DSTIS征订中
DPS国防术语智能定位系统
国外国防科技文献资料快报
公告:
DSTIS国防军工信息资源内网服务系统2019年征订开始  
美国国防高级研究计划局正探索保护遗留系统中新代码的更好方法
2020-07-30

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

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

相关新闻

DSTIS 国防科技工业信息服务系统
中国核科技信息与经济研究院 中国航天系统科学与工程研究院 中国航空工业发展研究中心
中国船舶工业综合技术经济研究院 中国船舶信息中心 北方科技信息研究所 工业和信息化部电子科学技术情报研究所
DSTI简介 | 大事记 | 网站动态 | 产品介绍 | 广告服务 | 客户服务 | 联系方式 | 共建单位 | 合作媒体  
国防科技信息网 dsti.net © 2006 - 2020 版权所有 京ICP备10013389号