Adacore是高完整性软件工具领域的专家，很高兴向自动化市场表达ADA语言和Spark编程的引入。他们将与NVIDIA合作伙伴一起发布其他人可能遵循的现成参考过程。本文指出：NVIDIA开发了Drive?OS，这是一个参考操作系统和相关软件堆栈，旨在开发和扩展自动驾驶汽车应用程序以驱动AGX硬件。该系统包括符合自动ISO-26262认证标准的最大完整性水平的软件组件。为了实现这一目标，NVIDIA选择了这些语言来形成其软件堆栈中一些最关键的部分。这需要建立一个使用正式方法和其他segur功能的开发过程，并火花清毒以充分利用其功能。 Adacore和Nvidia决定免费发布此参考过程，作为开放资源和新兴允许该行业采用ADA和SPARK的文件。 Adacore的首席产品和收入官Quentin Ochem表示：“尽管自动化行业的附加值越来越多地从机械运营商变成软件运行，但实现自动化开发中最高水平的软件安全性已成为现代自动化发展中最关键的挑战之一。” “ NVIDIA通过介绍开发其ADA和SPARK并允许其他社区成员遵循其速度的过程来展示该领域的真正技术领导。”