AdaCore與英偉達合作進軍ISO-26262市場

車質網

2025/06/11

6月2日，高度集成的軟件工具專家AdaCore宣佈將Ada和SPARK編程語言引入汽車市場。AdaCore將與合作伙伴英偉達（NVIDIA）攜手發布現成的參考流程，供其他公司效仿。NVIDIA開發了參考操作系統及相關軟件堆棧Drive? OS，專為在基於DRIVE AGX的硬件上開發和部署自動駕駛汽車應用程序而設計。該系統包含符合汽車認證標準ISO-26262最高完整性級別的軟件組件。為了實現這一...

網頁鏈接

免責聲明：投資有風險，本文並非投資建議，以上內容不應被視為任何金融產品的購買或出售要約、建議或邀請，作者或其他用戶的任何相關討論、評論或帖子也不應被視為此類內容。本文僅供一般參考，不考慮您的個人投資目標、財務狀況或需求。TTM對信息的準確性和完整性不承擔任何責任或保證，投資者應自行研究並在投資前尋求專業建議。

熱議股票

{"basename":"/hant","ssrTDKData":{"titleTemplate":"%s - 老虎證券","title":"老虎证券全球投资理财平台| 一站式投资美股新股港股A股","description":"老虎证券助您一站式投资美股，新股，港股，A股等全球金融理财产品。新加坡华人最信赖的在线投资平台，现在加入即享低费用，24/5 无时差炒美股投资理财！","keywords":"老虎證券,老虎證券開戶,老虎券商,老虎證券官網,老虎證券app,tigertrade老虎證券,股票,炒股,新加坡股票交易平臺,投資,投資理財","social":{"ogDescription":"老虎证券助您一站式投资美股，新股，港股，A股等全球金融理财产品。新加坡华人最信赖的在线投资平台，现在加入即享低费用，24/5 无时差炒美股投资理财！","ogImage":"https://c1.itigergrowtha.com/portal5/static/media/og-logo.be62fbe1.png","ogUrl":"https://www.itiger.com/hant/news/2542324512"},"companyName":"老虎證券"},"pageData":{"isMobile":false,"isTiger":false,"isTTM":true,"region":"SGP","license":"TBSG","edition":"fundamental"},"isCrawlerRequest":true,"__swrFallback__":{"@#url:\"https://stock-news.skytigris.cn/v3/news\",params:#id:\"2542324512\",edition:\"fundamental\",auth_exemption:1,,,undefined,":{"share":"https://ttm.financial/m/news/2542324512?lang=zh_TW&edition=fundamental","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: 12.5px; color: #7E829C; margin: 0;}\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<h4 class=\"meta\">\n<p class=\"head\">\n<strong class=\"h-name small\">車質網</strong><span class=\"h-time small\">2025-06-11 09:08</span>\n</p>\n</h4>\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<div class=\"bt-text\">\n\n\n<p> 來源：<a href=\"http://gu.qq.com/resources/shy/news/detail-v2/index.html#/?id=nesSN202506110911119516ff10&s=b\">車質網</a></p>\n<p>為提升您的閱讀體驗，我們對本頁面進行了排版優化</p>\n\n\n</div>\n</article>\n</div>\n</body>\n</html>\n","isBrief":false,"type":0,"news_type":1,"symbol":"LU2471134796.USD","symbol_name":"INVESCO GLOBAL EQUITY INCOME ADVANTAGE \"A\" (USD) INC","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":{"LU2471134796.USD":"INVESCO GLOBAL EQUITY INCOME ADVANTAGE \"A\" (USD) INC","NVIW.SI":"NVDA 3xLongSG261006","LU2250418816.HKD":"BGF WORLD TECHNOLOGY \"A\" (HKD) ACC","IE0004445239.USD":"JANUS HENDERSON US FORTY \"A2\" (USD) ACC","SNVD.UK":"LS -1X NVIDIA","LU1069344957.HKD":"AB SICAV I - AMERICAN GROWTH PORTFOLIO \"AD\" (HKD) INC","IE00BKPKM429.USD":"NEUBERGER BERMAN GLOBAL SUSTAINABLE EQUITY \"A\" (USD) ACC","LU0345769631.USD":"NINETY ONE GSF GLOBAL EQUITY \"A\" (USD) INC","LU0642271901.SGD":"Janus Henderson Horizon Global Technology Leaders A2 SGD-H","LU2430703178.SGD":"WELLINGTON MULTI-ASSET HIGH INCOME \"AM4H\" (SGDHDG) INC","ISO":"IsoPlexis Corp.","NVDS":"1.5倍做空NVDA ETF-Tradr","IE0004445015.USD":"JANUS HENDERSON BALANCED \"A2\" (USD) ACC","BK4532":"文艺复兴科技持仓","LU0274383776.USD":"MANULIFE GF US SMALL CAP EQUITY \"AA\" (USD) INC","LU0345770308.USD":"NINETY ONE GSF GLOBAL STRATEGIC EQUITY \"A\" (USD) ACC","NVDA":"英伟达","LU1983260115.SGD":"Janus Henderson Horizon Global Sustainable Equity A2 SGD-H","NVDU":"2倍做多NVDA ETF-Direxion","2NVD.UK":"2X NVIDIA ETP","LU0345768153.USD":"NINETY ONE GSF GLOBAL STRATEGIC MANAGED \"A\" (USD) ACC","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","NVDX":"2倍做多NVDA ETF-T-Rex","BK4533":"AQR资本管理(全球第二大对冲基金)","LU0672654240.SGD":"FTIF - Franklin US Opportunities A Acc SGD-H1","LU0528227936.USD":"富达环球人口趋势基金A-ACC","LU1720051017.SGD":"Allianz Global Artificial Intelligence AT Acc H2-SGD","SG9999000418.SGD":"Aberdeen Standard Global Technology SGD","NVD":"2倍做空NVDA ETF-GraniteShares","NVD2.UK":"2X NVIDIA ETP","LU2065171311.SGD":"M&G (LUX) GLOBAL MAXIMA \"A\" (SGD) ACC","NVDY":"NVDA期权收益策略ETF-YieldMax","NVD3.UK":"LS 3X NVIDIA","SG9999015341.SGD":"United Income Focus Trust Acc SGD-H","3NVD.UK":"LS 3X NVIDIA","LU0342679015.USD":"ALLIANZ GLOBAL EQUITY UNCONSTRAINED \"AT\" (USD) ACC","NVDS.UK":"LS -1X NVIDIA","NVDD":"1倍做空NVDA ETF-Direxion","BK4579":"人工智能","LU2125154778.USD":"ALLSPRING GLOBAL EQUITY ENHANCED INCOME \"A\" (USD) INC","LU2381873111.SGD":"BGF SYSTEMATIC GLOBAL EQUITY HIGH INCOME \"A6\" (SGDHDG) INC","SG9999015978.USD":"利安颠覆性创新基金A","LU0823421416.USD":"BNP PARIBAS DISRUPTIVE TECHNOLOGY \"C\" (USD) INC","LU2097344431.USD":"SCHRODER ISF SUSTAINABLE MULTI-ASSET INCOME \"A\" (USDHDG) INC","LU1923622291.USD":"Natixis Thematics Safety R/A USD"},"translate_title":"AdaCore and Nvidia partner to enter ISO-26262 market","themeId":null,"isJumpTheme":false,"ttsUrl":null,"symbols_score_info":{"NVD":0.6,"NVD2.UK":0.6,"NVDY":0.6,"NVDA":1,"NVIW.SI":0.6,"NVDS.UK":0.6,"2NVD.UK":0.6,"SNVD.UK":0.6,"3NVD.UK":0.6,"ISO":1,"NVD3.UK":0.6,"NVDD":0.6,"NVDU":0.6,"NVDS":0.6,"NVDX":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,"symbols":[],"gpt_button":0,"need_auth":false,"code":"91000000","status":"200"}}}

AdaCore與英偉達合作 進軍ISO-26262市場

熱議股票

AdaCore與英偉達合作進軍ISO-26262市場