Ada和SPARK语言进军汽车行业：NVIDIA开源安全开发流程

AdaCore和NVIDIA合作，将Ada和SPARK编程语言引入汽车行业，并开源了基于ISO 26262标准的安全开发流程。NVIDIA的Drive OS使用了Ada和SPARK开发关键组件，以满足最高级别的汽车安全认证要求。该开源流程旨在帮助其他公司采用Ada和SPARK，提升汽车软件的安全性和可靠性，应对日益增长的汽车软件复杂性带来的挑战。