新聞報導於大約6小時前
高可靠性軟體工具專家AdaCore宣布，將Ada和SPARK程式語言引入汽車市場，並與Nvidia合作推出一套現成的參考流程，供業界學習與使用。Nvidia開發的Drive OS專為自動駕駛應用設計，並確保符合汽車安全標準ISO-26262的最高完整性要求。此參考流程將作為開源文件公開，助力汽車行業在軟體安全上達到更高水準。
小見聞來源: YAHOO
查看詳情