英伟达将 Ada 和 SPARK 引入无人驾驶汽车

据eenewseurope网6月4日报道，AdaCore 和 Nvidia 合作为安全关键型汽车软件（尤其是无人驾驶汽车）中的 Ada 和 SPARK 编程语言开发了开源参考流程。

该流程能够在 Nvidia DriveOS 操作系统上更快地开发符合 ISO26262 标准的软件。Nvidia 使用 SPARK 开发了包含 700 万行代码的 DriveOS，并结合了其基于 DRIVE AGX 硬件的应用程序认证流程。

基于 Blackwell 架构、搭载 NeoverseV3AE 核心的 AGX-Thor 芯片预计将于今年晚些时候推出用于自动驾驶的样品。比亚迪、文远知行、沃尔沃、 Aurora、大陆集团和理想汽车均已采用该芯片。

AGX-Orin 芯片基于 Ampere GPU 架构和 ARM Cortex A78AE 内核，将被沃尔沃、奔驰、捷豹路虎、通用汽车、丰田、Zeekr、吉利等汽车制造商采用。

英伟达首席执行官黄仁勋表示：“自动驾驶汽车的时代已经到来，我们将在制造业、企业以及汽车模拟和设计领域与人工智能展开合作。我们致力于自动驾驶汽车研发。”

（编译：天容）

链接：
https://www.eenewseurope.com/en/nvidia-drives-ada-and-spark-into-driverless-cars/