陵水5A景区分界洲岛5月起大幅降低淡旺季门票价格

高完整性软件工具领域的专家 AdaCore，很高兴宣布将 Ada 和 SPARK 编程语言引入汽车市场。与合作伙伴 NVIDIA 一起，他们即将发布一套现成的参考流程，让其他人可以效仿。

NVIDIA 开发了 Drive? OS，这是专为在 DRIVE AGX 硬件上开发和部署自动驾驶车辆应用而设计的参考操作系统和相关软件栈。

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

AdaCore 和 NVIDIA 决定将此参考流程免费发布为一份开源且不断发展的文档，允许整个行业采用 Ada 和 SPARK。

“随着汽车工业的附加值越来越多地从机械功能转向软件功能，在汽车开发中实现最高级别的软件安全已成为现代汽车开发中最关键挑战之一，”AdaCore 首席产品与营收官 Quentin Ochem 表示。“NVIDIA 通过将其开发流程引入 Ada 和 SPARK，并允许社区其他成员跟随其步伐，在领域内展现了真正卓越的技术领导力。”