近日，软件工具专家AdaCore宣布将Ada和SPARK编程语言引入汽车市场，并与合作伙伴NVIDIA合作发布了一套参考开发流程。随着汽车行业从机械特性转向软件特性，软件安全在现代汽车开发中变得至关重要。为此，NVIDIA开发了Drive® OS，这是一套专门为DRIVE AGX硬件平台上的自动驾驶应用程序设计的操作系统和软件栈。 背景与动机 在当前的汽车行业，软件技术的重要性日益凸显，已成为车辆性能和功能的关键部分。自动驾驶技术的发展尤其依赖高可靠性和安全性的软件支持。ISO-26262是汽车行业的一项重要认证标准，旨在确保汽车电子系统的安全性。NVIDIA选择Ada和SPARK语言来开发其最核心的软件组件，这是因为这两种语言具备卓越的安全特性和形式化验证方法。 合作过程与成果 AdaCore和NVIDIA联手制定了一个适用于ISO-26262最高级别的参考开发流程，并将其作为开源文档公布在https://nvidia.github.io/spark-process/上。该流程详细介绍了如何结合Ada和SPARK的语言特性，利用形式化验证方法和其他安全措施，确保软件的可靠性。这一举措不仅使NVIDIA能够更高效地开发安全关键的软件，也为整个汽车行业提供了一个可借鉴的范本。 行业影响与反响 Quentin Ochem，AdaCore的首席产品和收入官表示：“NVIDIA在这个领域的技术领导力令人印象深刻，通过引入Ada和SPARK开发流程，并将其公开共享，为其他厂商提供了宝贵的经验。”此举有望降低开发成本，缩短认证周期，提高整体软件质量。随着越来越多的汽车制造商和供应商采纳这套流程，未来汽车软件的安全水平将显著提升。 AdaCore公司简介 AdaCore是一家专注于开发高完整性软件工具的企业，已有超过30年的历史。公司提供的工具链包括Ada/SPARK、C/C++和Rust等语言，支持开发者创建可靠、安全和安全的软件。AdaCore的服务涵盖编译器工具链和分析工具的资质认证，为遵守行业标准提供认证依据。公司的长期承诺确保了工具链的持续可靠性和支持。 总的来说，AdaCore和NVIDIA的合作标志着汽车软件开发领域的一次重大突破，将为未来的自动驾驶技术提供更强的安全保障。