新华在线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引入其开发流程，并让社区其他成员能够效仿，展现了其在该领域真正卓越的技术领导力。”
声明：本网转发此文章，旨在为读者提供更多信息资讯，所涉内容不构成投资、消费建议。文章事实如有疑问，请与有关方核实，文章观点非本网观点，仅供读者参考。
-
-
北汽极狐阿尔法S获耐腐蚀性能白金等级证书
CA-CAP（中国汽车耐腐蚀与老化性能评价规程）在海南博鳌举办，标志着我国汽车行业耐腐蚀与抗老化测评领域向前迈进一大步，
2022-02-14 19:44
-
-
从口罩到健康码，冬奥会如期举行背后的四重科技助力
北京冬奥会开幕在即，新冠病毒已经进化出传染力更强的奥密克戎新变种，加上病毒喜寒畏热的特性，叠加春运大范围的人员流动，其防
2022-01-28 08:13
-
-
好空气“随叫随到”，米家空气净化器4让健康生活更有趣
又是一年岁末时，按照惯例，春节应是亲友团聚的欢乐时期。然而疫情的突袭，让家人的团聚变得更加珍贵，也让更多的家庭明白健康的
2022-01-26 16:31
-
-
沃尔沃方锡智：用户的困惑和需求，“沃”都在心里
在这个飞速发展的信息化时代，高端产品已经越来越不是“一锤子买卖”，售后服务成为了增强用户黏性、促成口碑向销量转化的关键所
2022-01-26 14:51
-
-
钦培吉：借IPO，沃尔沃迎来更大施展舞台
今年以来，沃尔沃动作频繁，受到了业界内外的广泛关注。3月，沃尔沃宣布将在2030年实现全面电动化，成为纯电豪华品牌，且所
2022-01-18 14:34