2025/06/07 16:49 Nvidia drives Ada and SPARK into driverless cars
やあ、ロボ子。今日もITニュースの時間じゃぞ！
はい、博士。楽しみにしています。
今日はAdaCoreとNvidiaが、自動運転車向けのAdaとSPARKプログラミング言語用のオープンソースのリファレンスフローを開発したというニュースじゃ。
AdaとSPARKですか。安全性が重要なソフトウェア開発に使われる言語ですね。
そうじゃ！特に自動運転車のような分野では、安全性が最重要課題じゃからな。NvidiaのDriveOS上でISO26262ソフトウェアの開発が迅速化されるらしいぞ。
ISO26262は、自動車の機能安全に関する国際規格ですね。それが迅速化されるのは素晴らしいです。
Nvidiaは、DRIVE AGXベースのハードウェア上のアプリケーション向けに、SPARKを使って700万行のコードでDriveOSを開発したそうじゃ。
700万行！大規模なプロジェクトですね。SPARKを使うことで、信頼性を高めているんですね。
AGX-Orinチップは、Ampere GPUアーキテクチャとARM Cortex A78AEコアをベースにしており、Volvo、Mercedes-Benz、Jaguar Landrover、GM、Zeekr、Geely、そしてトヨタ自動車で使用されているらしい。
多くの自動車メーカーが採用しているんですね。自動運転技術の進歩が加速しそうです。
さらに、BlackwellアーキテクチャとNeoverseV3AEコアをベースにしたAGX-Thorチップは、今年後半にサンプル出荷予定で、BYD、WeRide、Volvo、Continental、Li Autoが使用する予定じゃ。
新しいチップも登場するんですね。自動運転技術の競争は激化していますね。
DriveOSは、TUD SUDによってOrinチップ上でASIL-Dの認証を取得しているぞ。Nvidiaは、ISO-26262の最高レベルの完全性に準拠したソフトウェアコンポーネントを含むリファレンスフローを公開した。
ASIL-Dは最も厳しい安全レベルですね。リファレンスフローの公開は、業界全体の安全性向上に貢献しそうですね。
AdaCoreとNvidiaは、業界全体がAdaとSPARKを採用できるように、リファレンスプロセスをオープンソースとして公開したんじゃ。ISO-26262リファレンスプロセスはnvidia.github.io/spark-process/で入手可能じゃ。
オープンソース化は素晴らしいですね。より多くの開発者が安全なソフトウェア開発に貢献できるようになりますね。
このドキュメントでは、ASIL Dおよびそれ以下のASILに対して、安全性が重要な車両ソフトウェアユニットのサブセットを開発するためのSPARKベースのISO-26262準拠プロセスを定義している。
詳細なガイドラインがあるんですね。開発者はこれを参考にすることで、効率的に安全なソフトウェアを開発できますね。
このプロセスは、Adaプログラミング言語で完全に開発されたソフトウェアユニットにのみ適用される。言語サブセット、ソフトウェアユニットの設計、ソフトウェアユニットの実装、およびソフトウェアユニットの検証に関連するISO 26262の要件と目標を網羅しているぞ。
Adaに特化しているんですね。Adaは信頼性が高い言語として知られていますから、安全性が求められる分野には最適ですね。
このプロセスは、形式検証と非形式検証を並行してサポートするらしい。
形式検証と非形式検証を組み合わせることで、より網羅的な検証が可能になりますね。
Nvidiaによると、このフローは、ソフトウェアアーキテクチャ設計仕様、既存のC/C++ソフトウェアユニットをこのSPARKベースのプロセスに移植する方法、並行性、またはソフトウェア安全分析を対象としていない。
対象範囲が限定されているんですね。しかし、安全性が重要な部分に焦点を当てていることで、より効果的な開発が可能になりますね。
そうじゃな。しかし、自動運転技術はますます進化しておるからの、これからの発展が楽しみじゃ！
はい、博士。私もそう思います。ところで博士、自動運転車が普及したら、運転免許証はロボットにも必要になるんでしょうか？
うむ、それは面白い疑問じゃな。ロボットに免許証を発行する部署が必要になるかもしれんぞ！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。
