深圳QM体验论坛_小姐威客网楼风论坛_无锡4197龙凤论坛_一品阁茶楼论坛官网入口

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

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