AdaとSPARK、自動車開発に参入：NVIDIAが安全プロセスをオープンソース化

AdaCoreとNVIDIAは協力して、AdaとSPARKプログラミング言語を自動車市場に導入し、ISO 26262規格に基づいた参照開発プロセスをオープンソース化しました。NVIDIAのDrive OSは、最高レベルの自動車安全認証要件を満たすために、重要なコンポーネントにAdaとSPARKを使用しています。このオープンソースプロセスは、他の企業がAdaとSPARKを採用し、増大する複雑さの中で自動車ソフトウェアの安全性を向上させることを目的としています。