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引入其开发流程，并让社区其他成员能够效仿，展现了其在该领域真正卓越的技术领导力。”
声明：以上内容为本网站转自其它媒体，相关信息仅为传递更多企业信息之目的，不代表本网观点，亦不代表本网站赞同其观点或证实其内容的真实性。投资有风险，需谨慎。
猜您喜欢
-
06-07
-
06-07
-
06-07
-
06-07
-
06-07
-
06-06
-
06-06
-
06-06
-
06-06
-
06-06
推荐阅读
-
-
电子行业年报综述：行业虽面临压力整体仍保持相
电子年度报告摘要2021年，电子行业尽管受到全球疫情和行业周期的干扰，但仍保持稳定增长态势。2021年，申万电子行业整体...更多
2022-05-16 13:21:00
-
-
潮安登塘举办乡村振兴电商特训班，培养农特产品
“我以前是刷短视频的。不知道别人的视频怎么拍的这么好？通过老师的讲解，我终于领悟了，受益匪浅！”5月14日至15日，潮州...更多
2022-05-16 13:18:00
-
-
2022前四月住宅新开工面积同比下降28.4
北京商报今日讯——5月16日，国家统计局发布2022年1-4月全国房地产开发投资数据。1-4月份，房地产开发企业房屋施工...更多
2022-05-16 12:51:00
-
-
西北地区绿色电力交易实践与思考
绿色电力交易是指以绿色电力产品为标的物的中长期电力交易，是中长期电力市场体系中全新的交易品种。绿色电力交易的目的是将新能...更多
2022-05-16 12:39:00
-
-
华为鲁勇：打造数字经济新动能让更多的人从数字
在2022年世界电信和信息社会日到来之际，我谨代表华为向广大客户、产业链合作伙伴和各界朋友致以诚挚的问候，期待与您携手共...更多
2022-05-16 11:46:00
-
-
GSMA：中国大陆5G渗透率36.82%位居
近日，GSMA发布了最新的统计信息。截至2022年第一季度，在全球5G渗透率排名中，南韩以44.92%位居第一，其次是中...更多
2022-05-16 11:22:00
-
-
看了这款潮野SUV哈弗大狗，我直接退掉了CR
费用在心里。随着国家自主品牌趋势的觉醒，对应这个细分市场的产品也越来越丰富。我们不再需要在少数合资品牌中挑三拣四，可以进...更多
2022-05-16 11:20:00
-
-
统计局：前4月全国固定资产投资153544亿
据国家统计局网站消息，1-4月，全国固定资产投资153544亿元，同比增长6.8%。其中，民间固定资产投资86872亿元...更多
2022-05-16 11:20:00
-
今日必看
- 浏览排行
- 热门精选
