来源：盖世汽车 发布时间：2025-06-07 17:13 阅读量：14804
盖世汽车讯 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引入其开发流程，并让社区其他成员能够效仿，展现了其在该领域真正卓越的技术领导力。”
郑重声明：此文内容为本网站转载企业宣传资讯，目的在于传播更多信息，与本站立场无关。仅供读者参考，并请自行核实相关内容。
新方法使折纸结构展开成无缝表面可用于制造活顶车部件 2025-06-07 15:07
交警进校园，开启交通安全“奇妙冒险” 2025-06-07 13:33
丰田完成对空中出租车制造商Joby2.5亿美元注资成最大股东 2025-06-07 12:16
28年“热血传奇”，她是阳江稀有血型献血第一人｜致敬献血者① 2025-06-07 10:10
黑科技落地腾势N9灵鸢车载无人机开启交付 2025-06-07 09:39
ST海越将于2025年7月4日完成退市整理期 2025-06-07 07:44
性能更强标致e-208GTi将于6月13日正式发布 2025-06-07 03:48
国内市场持续升级岚图汽车5月交付10022辆同比涨122% 2025-06-07 01:57
美股异动英伟达持仓股全线上扬AppliedDigitalAPLD 2025-06-07 01:36
将于6月10日亮相领克01焕新版车型官图发布 2025-06-07 00:14
持续引领中国高端豪华市场极氪科技5月销量46,538台 2025-06-06 21:00
日本不再要求美国全面取消汽车关税，提出减税计划 2025-06-06 18:04
突然，降息50个基点！这国股市，直线拉升！ 2025-06-06 16:09
升级800V平台智己LS7焕新版6月16日上市 2025-06-06 15:50
出口增量难掩转型阵痛，悦达起亚如何突围？ 2025-06-06 14:22
和讯投顾黄儒琛：本周市场震荡轮动，应考虑卖权而非追高 2025-06-06 10:36
长安东风暂不重组，兵器装备集团汽车业务分立为央企 2025-06-06 09:47
宇树科技王兴兴任杭州具身智能产业联盟首任轮值理事长 2025-06-06 06:32
白敬亭亮相粤港澳车展官宣问界品牌挚友及问界M8车主 2025-06-06 04:36
万达酒店亮相2025ITBChina“华文化”基因助力全球旅居产 2025-06-06 01:58
