AdaとSPARKが自動車業界のISO-26262市場に登場 — NVIDIAとの連携 ニューヨーク — （ビジネスワイヤ） — 軍事や航空宇宙などの高信頼性ソフトウェアツールの専門家であるAdaCoreが、AdaおよびSPARKプログラミング言語を自動車業界に導入することを発表しました。NVIDIAとのパートナーシップにより、これらの言語を使用した開発プロセスを参考資料として公開し、業界全体の採用を促進します。 近年、自動車産業の付加価値が機械的要素からソフトウェア機能へと移行しており、最上位レベルのソフトウェア安全性を達成することが、現代の自動車開発における最重要課題となっています。NVIDIAは、Drive® OSというオペレーティングシステムと、自動運転車両向けのアプリケーションを開発・展開するためのソフトウェアスタックを設計しています。このシステムは、自動車の認証基準ISO-26262の最高レベルの信頼性を満たすソフトウェアコンポーネントを備えており、NVIDIAはAdaとSPARKを選択して、最も重要なコンポーネントを開発しています。 AdaとSPARKは、形式手法やその他の安全特性を活用することで、ソフトウェアの安全性を大幅に向上させることが可能です。AdaCoreとNVIDIAは、業界全体がこれらの言語を採用できるように、開発プロセスをオープンソース化して無料で公開しました。ISO-26262の参考プロセスはこちらからアクセスでき、自由に使用或いはカスタマイズできます。 「自動車産業の付加価値がソフトウェア機能を中心に移行している現在、最上位レベルでのソフトウェア安全性確保は現代の自動車開発における最重要課題です」と、AdaCoreの最高製品・売上責任者（CPRO）のクウォチぇン・オシュームは述べています。「NVIDIAは、AdaとSPARKを自社の開発プロセスに取り入れ、全コミュニティがその後を追えるようにすることで、この領域での卓越した技術的指導力を示しています。」 AdaCoreについて AdaCoreは、信頼性、安全性、セキュリティの高いソフトウェア開発を支える企業です。30年以上にわたって、Ada/SPARK、C/C++、Rustなどの、安全クリティカルな領域で重要な言語のオープンソースツールチェーンの提供とサポートを行っています。私たちのツールチェーンは最严格的な基準を満たすよう設計されており、お客様がコードに集中できるように支援し、認証目標の達成を支援します。 詳細については、AdaCoreの公式サイトをご覧ください。