• 采购项目
  • 配套企业库
  • 销量查询
  • 盖世汽车社区
  • 盖世大学堂
  • 盖亚系统
  • 盖世汽车APP
  • AI定义汽车产业报告(2025版)
  • 各国产业概览
  • 2025第八届智能辅助驾驶大会
  • 2025第四届中国车联网安全大会
  • 2025汽车智能玻璃创新技术及应用大会
当前位置:首页 > 国际 > 正文

AdaCore与英伟达达成合作 进军汽车ISO-26262市场

盖世汽车 刘丽婷 2025-06-06 14:24:14

盖世汽车讯 6月2日,高度集成的软件工具专家AdaCore宣布将Ada和SPARK编程语言引入汽车市场。AdaCore将与合作伙伴英伟达(NVIDIA)携手发布现成的参考流程,供其他公司效仿。

AdaCore与英伟达达成合作 进军汽车ISO-26262市场

图片来源: AdaCore

NVIDIA开发了参考操作系统及相关软件堆栈Drive® OS,专为在基于DRIVE AGX的硬件上开发和部署自动驾驶汽车应用程序而设计。

该系统包含符合汽车认证标准ISO-26262最高完整性级别的软件组件。为了实现这一目标,NVIDIA选择这些语言来开发其软件堆栈中一些最关键的组件。这需要建立一个开发流程,充分利用Ada和SPARK的形式化方法和其他安全特性,从而充分利用它们的功能。

AdaCore和NVIDIA决定将此参考流程以开源且不断发展的文档形式免费发布,以便整个行业都能采用Ada和SPARK。

AdaCore首席产品和营收官Quentin Ochem表示:“随着汽车行业的附加值越来越多地从机械特性转向软件特性,实现最高水平的软件安全性已成为现代汽车开发中最关键的挑战之一。NVIDIA将Ada和SPARK引入其开发流程,并让社区其他成员能够效仿,展现了其在该领域真正卓越的技术领导力。”

*版权声明:本文为盖世汽车原创文章,如欲转载请遵守 转载说明 相关规定。违反转载说明者,盖世汽车将依法追究其法律责任!

本文地址:https://auto.gasgoo.com/news/202506/6I70426596C101.shtml

文章标签: 前瞻技术
 
0

好文章,需要你的鼓励

微信扫一扫分享该文章