Nvidia将Ada和SPARK引入无人驾驶汽车

AdaCore 和 Nvidia 为安全关键型汽车软件中的 Ada 和 SPARK 编程语言开发了开源参考流程，特别是对于无人驾驶汽车。该流程支持在 Nvidia DriveOS作系统之上更快地开发 ISO26262 软件。Nvidia 使用 SPARK 开发了具有 ···