AdaCore与英伟达达成合作进军汽车ISO-26262市场
-
AdaCore与英伟达达成合作进军汽车ISO-26262市场
盖世汽车讯6月2日，高度集成的软件工具专家AdaCore宣布将Ada和SPARK编程语言引入汽车市场。AdaCore将与合作伙伴英伟达携手发布现成的参考流程，供其他公司效仿。 NVIDIA开发了参考操作系统及相关软件堆栈Drive?OS，...
