automotive enter https://www.adacore.com/press/ada-and-spark-enter-the-automotive-iso-26262-market-with-nvidia
Ada AdaCore
AdaCoreがAdaとSPARKプログラミング言語を自動車市場に導入しました。
NVIDIAと協力し、ISO-26262準拠のリファレンスプロセスを公開予定です。
自動運転アプリケーション開発におけるソフトウェアの安全性を高めることを目指します。 ISO-26262 the and market | with… SPARK