侵权投诉

搜索
更多>> 热门搜索:
订阅
纠错
加入自媒体

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

2012-09-19 09:05
风频浪劲
关注

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

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

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

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

 

声明: 本文由入驻维科号的作者撰写,观点仅代表作者本人,不代表OFweek立场。如有侵权或其他问题,请联系举报。

发表评论

0条评论,0人参与

请输入评论内容...

请输入评论/评论长度6~500个字

您提交的评论过于频繁,请输入验证码继续

暂无评论

暂无评论

文章纠错
x
*文字标题:
*纠错内容:
联系邮箱:
*验 证 码:

粤公网安备 44030502002758号