AdaCore与英伟达达成合作进军汽车ISO-26262市场
盖世汽车讯 6月2日，高度集成的软件工具专家AdaCore宣布将Ada和SPARK编程语言引入汽车市场。AdaCore将与合作伙伴英伟达携手发布现成的参考流程，供其他公司效仿。
NVIDIA开发了参考操作系统及相关软件堆栈Drive? OS，专为在基于DRIVE AGX的硬件上开发和部署自动驾驶汽车应用程序而设计。
该系统包含符合汽车认证标准ISO-26262最高完整性级别的软件组件。为了实现这一目标，NVIDIA选择这些语言来开发其软件堆栈中一些最关键的组件。这需要建立一个开发流程，充分利用Ada和SPARK的形式化方法和其他安全特性，从而充分利用它们的功能。
AdaCore和NVIDIA决定将此参考流程以开源且不断发展的文档形式免费发布，以便整个行业都能采用Ada和SPARK。
AdaCore首席产品和营收官Quentin Ochem表示:“随着汽车行业的附加值越来越多地从机械特性转向软件特性，实现最高水平的软件安全性已成为现代汽车开发中最关键的挑战之一。NVIDIA将Ada和SPARK引入其开发流程，并让社区其他成员能够效仿，展现了其在该领域真正卓越的技术领导力。”
声明：本网转发此文章，旨在为读者提供更多信息资讯，所涉内容不构成投资、消费建议。文章事实如有疑问，请与有关方核实，文章观点非本网观点，仅供读者参考。
上一篇：湖南祁阳做优“土特产”做强“大产业”
下一篇：返回列表
中国商务网版权及免责声明：
1、凡本网来源注明“中国商务网” 域名：WWW.COPB.COM.CN的所有新闻稿件和图片作品，版权均属于中国商务网，未经本网授权，任何单位及个人不得转载、摘编或以其它方式使用上述作品。已经本网授权使用新闻稿件和图片作品的，应在授权范围内使用，并注明“来源：中国商务网”。违反上述声明者，本网将追究其相关法律责任。
2、凡本网注明 “来源：XXX（非中国商务网）”的新闻稿件和图片作品，系我方转载自其它媒体，转载目的在于传递更多信息，并不代表本网赞同其观点和对其真实性负责。
3、如因新闻稿件和图片作品的内容、版权和其它问题需要同本网联系的，请在15个工作日内告知我方。
4、联系方式：中国商务网 电子邮件：ha17701574748@163.com