澳门金沙网上娱乐场官方网站

<p>DARPA的高保障网络军事系统计划旨在提高嵌入式计算机系统的安全性</p><p>为此,研究人员正在寻求通过采用基于方法的方法来创建用于系统构建的新技术,以便从可执行的正式规范中实现半自动代码合成</p><p>嵌入式计算机系统在DoD技术的各个方面都发挥着作用</p><p>这些系统中的软件可以完成从管理大型物理基础设施到运行外围设备(如打印机和路由器),控制医疗设备(如心脏起搏器和胰岛素泵)的所有功能</p><p>这些嵌入式计算机系统可以联网,可以远程检索诊断信息,允许软件更新,并提供对创新功能的访问,但它也会通过远程攻击向系统引入漏洞</p><p> “高保障网络军事系统(HACMS)计划旨在创建技术,用于构建功能正确且满足适当安全性和安全性的系统,”DARPA项目经理Kathleen Fisher解释道</p><p> “我们对HACMS的愿景是采用一种基于方法的简洁方法,从可执行的正式规范中实现半自动代码合成</p><p>”除了生成代码之外,HACMS还寻求能够生成机器可检验证据的合成器生成的代码满足功能规范以及安全和安全策略</p><p>一项关键的技术挑战是开发技术以确保此类证据可组合,从而允许使用高保证组件构建高保证系统</p><p>关键的HACMS技术包括半自动软件合成系统,验证工具,如定理证明器和模型检查器,以及规范语言</p><p> HACMS旨在生成一套集成到高保证软件工作台中的公共工具,广泛分发给国防和商业部门</p><p>在国防部门,HACMS计划实现高保障军事系统,包括无人地面,空中和水下车辆,武器系统,卫星以及指挥和控制设备</p><p>资料来源:DARPA图片: