AdaCore与英伟达合作进军ISO-26262市场

车质网2025-06-11

6月2日，高度集成的软件工具专家AdaCore宣布将Ada和SPARK编程语言引入汽车市场。AdaCore将与合作伙伴英伟达（NVIDIA）携手发布现成的参考流程，供其他公司效仿。NVIDIA开发了参考操作系统及相关软件堆栈Drive? OS，专为在基于DRIVE AGX的硬件上开发和部署自动驾驶汽车应用程序而设计。该系统包含符合汽车认证标准ISO-26262最高完整性级别的软件组件。为了实现这一...

网页链接

免责声明：本文观点仅代表作者个人观点，不构成本平台的投资建议，本平台不对文章信息准确性、完整性和及时性做出任何保证，亦不对因使用或信赖文章信息引发的任何损失承担责任。

精彩评论

我们需要你的真知灼见来填补这片空白

发表看法

{"i18n":{"language":"zh_CN"},"isChannel":false,"data":{"share":"https://www.laohu8.com/m/news/2542324512?lang=zh_CN&edition=full","thumbnail":"","is_english":false,"pubTime":"2025-06-11 09:08","share_image_url":"https://static.laohu8.com/9a95c1376e76363c1401fee7d3717173","id":"2542324512","market":"us","top_or_hot":-1,"title":"AdaCore与英伟达合作 进军ISO-26262市场","media":"车质网","content":"<div>\n<p>6月2日，高度集成的软件工具专家AdaCore宣布将Ada和SPARK编程语言引入汽车市场。AdaCore将与合作伙伴英伟达（NVIDIA）携手发布现成的参考流程，供其他公司效仿。NVIDIA开发了参考操作系统及相关软件堆栈Drive? OS，专为在基于DRIVE AGX的硬件上开发和部署自动驾驶汽车应用程序而设计。该系统包含符合汽车认证标准ISO-26262最高完整性级别的软件组件。为了实现这一...</p>\n\n<a href=\"http://gu.qq.com/resources/shy/news/detail-v2/index.html#/?id=nesSN202506110911119516ff10&s=b\">网页链接</a>\n\n</div>\n","source":"tencent","html":"<!DOCTYPE html>\n<html>\n<head>\n<meta http-equiv=\"Content-Type\" content=\"text/html; charset=utf-8\" />\n<meta name=\"viewport\" content=\"width=device-width,initial-scale=1.0,minimum-scale=1.0,maximum-scale=1.0,user-scalable=no\"/>\n<meta name=\"format-detection\" content=\"telephone=no,email=no,address=no\" />\n<title>AdaCore与英伟达合作 进军ISO-26262市场</title>\n<style type=\"text/css\">\na,abbr,acronym,address,applet,article,aside,audio,b,big,blockquote,body,canvas,caption,center,cite,code,dd,del,details,dfn,div,dl,dt,\nem,embed,fieldset,figcaption,figure,footer,form,h1,h2,h3,h4,h5,h6,header,hgroup,html,i,iframe,img,ins,kbd,label,legend,li,mark,menu,nav,\nobject,ol,output,p,pre,q,ruby,s,samp,section,small,span,strike,strong,sub,summary,sup,table,tbody,td,tfoot,th,thead,time,tr,tt,u,ul,var,video{ font:inherit;margin:0;padding:0;vertical-align:baseline;border:0 }\nbody{ font-size:16px; line-height:1.5; color:#999; background:transparent; }\n.wrapper{ overflow:hidden;word-break:break-all;padding:10px; }\nh1,h2{ font-weight:normal; line-height:1.35; margin-bottom:.6em; }\nh3,h4,h5,h6{ line-height:1.35; margin-bottom:1em; }\nh1{ font-size:24px; }\nh2{ font-size:20px; }\nh3{ font-size:18px; }\nh4{ font-size:16px; }\nh5{ font-size:14px; }\nh6{ font-size:12px; }\np,ul,ol,blockquote,dl,table{ margin:1.2em 0; }\nul,ol{ margin-left:2em; }\nul{ list-style:disc; }\nol{ list-style:decimal; }\nli,li p{ margin:10px 0;}\nimg{ max-width:100%;display:block;margin:0 auto 1em; }\nblockquote{ color:#B5B2B1; border-left:3px solid #aaa; padding:1em; }\nstrong,b{font-weight:bold;}\nem,i{font-style:italic;}\ntable{ width:100%;border-collapse:collapse;border-spacing:1px;margin:1em 0;font-size:.9em; }\nth,td{ padding:5px;text-align:left;border:1px solid #aaa; }\nth{ font-weight:bold;background:#5d5d5d; }\n.symbol-link{font-weight:bold;}\n/* header{ border-bottom:1px solid #494756; } */\n.title{ margin:0 0 8px;line-height:1.3;color:#ddd; }\n.meta {color:#5e5c6d;font-size:13px;margin:0 0 .5em; }\na{text-decoration:none; color:#2a4b87;}\n.meta .head { display: inline-block; overflow: hidden}\n.head .h-thumb { width: 30px; height: 30px; margin: 0; padding: 0; border-radius: 50%; float: left;}\n.head .h-content { margin: 0; padding: 0 0 0 9px; float: left;}\n.head .h-name {font-size: 13px; color: #eee; margin: 0;}\n.head .h-time {font-size: 11px; color: #7E829C; margin: 0;line-height: 11px;}\n.small {font-size: 12.5px; display: inline-block; transform: scale(0.9); -webkit-transform: scale(0.9); transform-origin: left; -webkit-transform-origin: left;}\n.smaller {font-size: 12.5px; display: inline-block; transform: scale(0.8); -webkit-transform: scale(0.8); transform-origin: left; -webkit-transform-origin: left;}\n.bt-text {font-size: 12px;margin: 1.5em 0 0 0}\n.bt-text p {margin: 0}\n</style>\n</head>\n<body>\n<div class=\"wrapper\">\n<header>\n<h2 class=\"title\">\nAdaCore与英伟达合作 进军ISO-26262市场\n</h2>\n\n<h4 class=\"meta\">\n\n\n2025-06-11 09:08 北京时间&nbsp;&nbsp;&nbsp;<a href=http://gu.qq.com/resources/shy/news/detail-v2/index.html#/?id=nesSN202506110911119516ff10&s=b><strong>车质网</strong></a>\n\n\n</h4>\n\n</header>\n<article>\n<div>\n<p>6月2日，高度集成的软件工具专家AdaCore宣布将Ada和SPARK编程语言引入汽车市场。AdaCore将与合作伙伴英伟达（NVIDIA）携手发布现成的参考流程，供其他公司效仿。NVIDIA开发了参考操作系统及相关软件堆栈Drive? OS，专为在基于DRIVE AGX的硬件上开发和部署自动驾驶汽车应用程序而设计。该系统包含符合汽车认证标准ISO-26262最高完整性级别的软件组件。为了实现这一...</p>\n\n<a href=\"http://gu.qq.com/resources/shy/news/detail-v2/index.html#/?id=nesSN202506110911119516ff10&s=b\">网页链接</a>\n\n</div>\n\n\n</article>\n</div>\n</body>\n</html>\n","isBrief":false,"type":0,"news_type":1,"symbol":"LU1571399168.USD","symbol_name":"ALLSPRING GLOBAL LONG/SHORT EQUITY \"IP\" (USD) ACC","start_time":0,"source_url":"http://gu.qq.com/resources/shy/news/detail-v2/index.html#/?id=nesSN202506110911119516ff10&s=b","article_id":"2542324512","we_media_id":null,"thumbnails":[],"rights":{"source":"tencent","url":"http://gu.qq.com/resources/shy/news/detail-v2/index.html#/?id=nesSN202506110911119516ff10&s=b","rn_cache_url":null,"customStyle":"body{padding-top:10px;}#news_title{font-weight:bold;#titleStyle#;}#news_description span{font-size:12px;#descriptionStyle#;}.footer-note{#statement#}","selectors":".mod-LoadTzbdNews, body","filters":".relate-stock, .hot-list, .recom-box, .wx-sou","directOrigin":true},"url":"https://stock-news.laohu8.com/highlight/detail?id=2542324512","pubTimestamp":1749604080,"columns":[],"sourceInfo":{"source_id":"tencent","name":"腾讯"},"weMediaInfo":null,"summary":"6月2日，高度集成的软件工具专家AdaCore宣布将Ada和SPARK编程语言引入汽车市场。AdaCore将与合作伙伴英伟达携手发布现成的参考流程，供其他公司效仿。该系统包含符合汽车认证标准ISO-26262最高完整性级别的软件组件。AdaCore和NVIDIA决定将此参考流程以开源且不断发展的文档形式免费发布，以便整个行业都能采用Ada和SPARK。","collect":0,"end_time":0,"defaultTopTitle":"qq.com","property":[],"viewcount":null,"language":"zh","relate_stocks":{"LU1571399168.USD":"ALLSPRING GLOBAL LONG/SHORT EQUITY \"IP\" (USD) ACC","LU2756315318.SGD":"ALLIANZ INCOME AND GROWTH \"AMG\" (SGDHDG) INC A","BK4567":"ESG概念","LU1814569148.SGD":"WELLINGTON GLOBAL QUALITY GROWTH \"D\" (SGDHDG) ACC","LU0265550359.USD":"BGF SYSTEMATIC GLOBAL ENHANCED EQUITY YIELD \"A2\" (USD) ACC","NVIW.SI":"NVDA 3xLongSG261006","LU1720051017.SGD":"Allianz Global Artificial Intelligence AT Acc H2-SGD","BK4533":"AQR资本管理(全球第二大对冲基金)","LU0528227936.USD":"富达环球人口趋势基金A-ACC","LU0672654240.SGD":"FTIF - Franklin US Opportunities A Acc SGD-H1","LU2065171311.SGD":"M&G (LUX) GLOBAL MAXIMA \"A\" (SGD) ACC","SG9999000418.SGD":"Aberdeen Standard Global Technology SGD","NVDS.UK":"LS -1X NVIDIA","3NVD.UK":"LS 3X NVIDIA","SG9999015341.SGD":"United Income Focus Trust Acc SGD-H","NVD3.UK":"LS 3X NVIDIA","LU0342679015.USD":"ALLIANZ GLOBAL EQUITY UNCONSTRAINED \"AT\" (USD) ACC","NVD2.UK":"2X NVIDIA ETP","NVDS":"1.5倍做空NVDA ETF-Tradr","BK4579":"人工智能","LU2125154778.USD":"ALLSPRING GLOBAL EQUITY ENHANCED INCOME \"A\" (USD) INC","NVDU":"2倍做多NVDA ETF-Direxion","SG9999015978.USD":"利安颠覆性创新基金A","LU2381873111.SGD":"BGF SYSTEMATIC GLOBAL EQUITY HIGH INCOME \"A6\" (SGDHDG) INC","LU0823421416.USD":"BNP PARIBAS DISRUPTIVE TECHNOLOGY \"C\" (USD) INC","LU1923622291.USD":"Natixis Thematics Safety R/A USD","LU2097344431.USD":"SCHRODER ISF SUSTAINABLE MULTI-ASSET INCOME \"A\" (USDHDG) INC","LU2471134796.USD":"INVESCO GLOBAL EQUITY INCOME ADVANTAGE \"A\" (USD) INC","NVDA":"英伟达","NVDX":"2倍做多NVDA ETF-T-Rex","LU2250418816.HKD":"BGF WORLD TECHNOLOGY \"A\" (HKD) ACC","IE0004445239.USD":"JANUS HENDERSON US FORTY \"A2\" (USD) ACC","NVD":"2倍做空NVDA ETF-GraniteShares","IE00BKPKM429.USD":"NEUBERGER BERMAN GLOBAL SUSTAINABLE EQUITY \"A\" (USD) ACC","LU1069344957.HKD":"AB SICAV I - AMERICAN GROWTH PORTFOLIO \"AD\" (HKD) INC","NVDY":"NVDA期权收益策略ETF-YieldMax","LU0345769631.USD":"NINETY ONE GSF GLOBAL EQUITY \"A\" (USD) INC","LU2430703178.SGD":"WELLINGTON MULTI-ASSET HIGH INCOME \"AM4H\" (SGDHDG) INC","LU0642271901.SGD":"Janus Henderson Horizon Global Technology Leaders A2 SGD-H","SNVD.UK":"LS -1X NVIDIA","BK4532":"文艺复兴科技持仓","IE0004445015.USD":"JANUS HENDERSON BALANCED \"A2\" (USD) ACC","2NVD.UK":"2X NVIDIA ETP","LU0274383776.USD":"MANULIFE GF US SMALL CAP EQUITY \"AA\" (USD) INC","LU0345770308.USD":"NINETY ONE GSF GLOBAL STRATEGIC EQUITY \"A\" (USD) ACC","LU1983260115.SGD":"Janus Henderson Horizon Global Sustainable Equity A2 SGD-H","NVDD":"1倍做空NVDA ETF-Direxion","LU0345768153.USD":"NINETY ONE GSF GLOBAL STRATEGIC MANAGED \"A\" (USD) ACC"},"translate_title":"AdaCore and Nvidia partner to enter ISO-26262 market","themeId":null,"isJumpTheme":false,"ttsUrl":null,"symbols_score_info":{"2NVD.UK":0.6,"NVDA":1,"NVDU":0.6,"SNVD.UK":0.6,"NVD":0.6,"NVDY":0.6,"NVDD":0.6,"NVD3.UK":0.6,"NVD2.UK":0.6,"3NVD.UK":0.6,"ISO":1,"NVIW.SI":0.6,"NVDX":0.6,"NVDS":0.6,"NVDS.UK":0.6},"content_text":"6月2日，高度集成的软件工具专家AdaCore宣布将Ada和SPARK编程语言引入汽车市场。AdaCore将与合作伙伴英伟达（NVIDIA）携手发布现成的参考流程，供其他公司效仿。NVIDIA开发了参考操作系统及相关软件堆栈Drive? OS，专为在基于DRIVE AGX的硬件上开发和部署自动驾驶汽车应用程序而设计。该系统包含符合汽车认证标准ISO-26262最高完整性级别的软件组件。为了实现这一目标，NVIDIA选择这些语言来开发其软件堆栈中一些最关键的组件。这需要建立一个开发流程，充分利用Ada和SPARK的形式化方法和其他安全特性，从而充分利用它们的功能。AdaCore和NVIDIA决定将此参考流程以开源且不断发展的文档形式免费发布，以便整个行业都能采用Ada和SPARK。AdaCore首席产品和营收官Quentin Ochem表示：“随着汽车行业的附加值越来越多地从机械特性转向软件特性，实现最高水平的软件安全性已成为现代汽车开发中最关键的挑战之一。NVIDIA将Ada和SPARK引入其开发流程，并让社区其他成员能够效仿，展现了其在该领域真正卓越的技术领导力。”","kind":"news","is_publish_news":true,"is_publish_highlight":false,"is_publish_live":false,"is_publish_wemedia":null,"editions":null,"column":"","sentiment":"1","news_tag":"corporation","news_rank":0,"isVideo":false,"video":null,"symbols":[],"gpt_button":0,"need_auth":false,"need_login_tip":false,"code":"91000000","status":"200"},"commentList":[],"isCommentEnd":true,"newsSizeData":{"likeSize":0,"commentSize":0,"repostSize":0,"favoriteSize":0,"likeStatus":false,"favoriteStatus":false},"APP":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","isDev":false,"isTTM":false,"tenantId":"TBCN","deviceId":"web-server-community-laohu8-v3","version":"4.43.1","shortVersion":"4.43.1","platform":"web","vendor":"web","appName":"laohu8","isIOS":false,"isAndroid":false,"isTiger":false,"isTHS":false,"isWeiXin":false,"isWeiXinMini":false,"isWeiBo":false,"isQQ":false,"isBaiduSwan":false,"isBaiduBox":false,"isDingTalk":false,"isToutiao":false,"isOnePlus":false,"isHuaWei":false,"isXiaomi":false,"isXiaomiWebView":false,"isOppo":false,"isVivo":false,"isSamsung":false,"isMobile":false},"href":"/m/news/2542324512","isCrawlerRequest":true}

AdaCore与英伟达合作 进军ISO-26262市场

精彩评论

AdaCore与英伟达合作进军ISO-26262市场