NVIDIAは、グラフィックス・プロセッシング・ユニット、組込システム、ハイパフォーマンス・コンピューティング、人工知能において、世界で最も信頼されている企業のひとつです。信頼性が要求される環境において、組込システムのセキュリティと安全性を検証するために、測定可能なソリューションを導入することを検討しました。最終的に同社は、C/C++の使用をやめ、最もセキュリティ・クリティカルなソフトウェアとファームウェア・コンポーネントを検証するためのコーディング言語としてSPARKを採用することを選択しました。

[CASE STUDY　日本語版]　ダウンロード

[CASE STUDY原文　英語版]　ダウンロード

AdaCoreについて

1994年に設立されたAdaCoreは、ミッション・クリティカル、セーフティ・クリティカル、かつセキュリティ・クリティカルなシステム向けにソフトウェア開発・検証ツールを提供しています。

長年にわたり、AdaCore製品を利用されているお客様は、セーフティ・クリティカルなアプリケーションを開発し、保守を継続されています。その分野は、商用航空機、自動車、鉄道、宇宙、軍事、航空交通管制、医療機器、財務サービスなどです。AdaCore社の顧客は、世界的に幅広い分野で増え続けています。詳細については、こちら（英語）をご覧ください。

AdaCore製品はオープンソースで、開発エンジニア自身が専門的なオンラインサポートを提供しています。同社の拠点は、ニューヨークならびにパリにあります。AdaCoreホームページ