AdaCore与英伟达达成合作 进军汽车ISO-26262市场
发布日期：2025-06-24 21:50 点击次数：184
盖世汽车讯 6 月 2 日，高度集成的软件工具专家 AdaCore 宣布将 Ada 和 SPARK 编程语言引入汽车市场。AdaCore 将与合作伙伴英伟达（NVIDIA）携手发布现成的参考流程，供其他公司效仿。
图片来源：AdaCore
NVIDIA 开发了参考操作系统及相关软件堆栈 Drive ® OS，专为在基于 DRIVE AGX 的硬件上开发和部署自动驾驶汽车应用程序而设计。
该系统包含符合汽车认证标准 ISO-26262 最高完整性级别的软件组件。为了实现这一目标，NVIDIA 选择这些语言来开发其软件堆栈中一些最关键的组件。这需要建立一个开发流程，充分利用 Ada 和 SPARK 的形式化方法和其他安全特性，从而充分利用它们的功能。
AdaCore 和 NVIDIA 决定将此参考流程以开源且不断发展的文档形式免费发布，以便整个行业都能采用 Ada 和 SPARK。
AdaCore 首席产品和营收官 Quentin Ochem 表示："随着汽车行业的附加值越来越多地从机械特性转向软件特性，实现最高水平的软件安全性已成为现代汽车开发中最关键的挑战之一。NVIDIA 将 Ada 和 SPARK 引入其开发流程，并让社区其他成员能够效仿，展现了其在该领域真正卓越的技术领导力。"