盖世汽车讯 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引入其开发流程，并让社区其他成员能够效仿，展现了其在该领域真正卓越的技术领导力。”