➤ 開源參考流程助力汽車產業提升軟體安全標準
✤ https://www.adacore.com/press/ada-and-spark-enter-the-automotive-iso-26262-market-with-nvidia
AdaCore 宣佈其 Ada 和 SPARK 程式語言已進入汽車市場,並與 NVIDIA 合作公開其符合 ISO-26262 認證標準的開發流程參考資料。NVIDIA 已採用 Ada 和 SPARK 語言開發其 Drive® OS 平臺的關鍵組件,旨在提升自動駕駛應用程式的安全性。此參考流程將以開源方式提供,供業界採用和客製化。AdaCore 認為,隨著汽車產業價值重心轉向軟體功能,軟體安全將成為車輛開發中最關鍵的挑戰之一,NVIDIA 的此舉展現了卓越的技術領導力。
+ 「這對汽車產業來說是個好消息,更安全的軟體是自動駕駛技術發展的關鍵。」
+ 「很高興看到 Ada 和 SPARK 這類安全性高的語言在汽車領域得到應
#汽車安全 #軟體工程 #ISO 26262