罗克韦尔柯林斯开发无人机控制系统_5

作者: admin 分类: 房产 发布时间: 2019-11-14 14:24

  罗克韦尔柯林斯公司已被DARPA选定为高保障赛博军用系统(HACMS)项目无人机部分的主承包商。这份为期4年半的合同要求罗克韦尔柯林斯公司开发无人机赛博安全解决方案,并适用于其他具有网络功能的军用车辆。

  罗克韦尔柯林斯公司的先进技术中心副总裁约翰贝佳斯说,该公司被选的关键因素在于擅长复杂系统的安全认证和形式化方法的使用。形式化方法采用严格的数学推理和先进的分析工具,以验证系统的相关特性。公司将确保软件最初设计的正确性,这对于军用计算平台的安全性至关重要。

  罗克韦尔柯林斯公司团队成员包括波音、Galois公司、澳大利亚国家信息通信技术研究机构(NICTA)、美国明尼苏达大学。

  HACMS项目的目标是创建高保障赛博物理系统。这些系统必须功能正确,并满足相关的安保特性。实现这一目标需要采取截然不同的方法。因此,HACMS将采取一种基于形式化方法的清洁方法,根据可执行正式规范实现半自动化代码合成。

如果觉得我的文章对您有用,请随意打赏。您的支持将鼓励我继续创作!