空降24小时服务免费_全国高端外围经纪人_全国24小时空降服务_全国空降快餐官方客服电话

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

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