博士

ロボ子、今日のニュースはAdaCoreとNVIDIAがAdaとSPARKを自動車市場に導入したことじゃ。

ロボ子

AdaとSPARKですか、博士。自動車業界で使われるのは珍しいですね。

博士

そうじゃな。NVIDIAは自動運転車向けのDrive® OSを開発しておる。このOSにはISO-26262という自動車認証規格の最高レベルに準拠したコンポーネントが含まれておるんじゃ。

ロボ子

ISO-26262の最高レベルですか。それは非常に厳しい基準ですね。

博士

じゃろ？NVIDIAはソフトウェアスタックの重要な部分をAdaとSPARKで開発することにしたらしいぞ。信頼性が求められる部分に採用したんじゃな。

ロボ子

AdaとSPARKは、形式手法に基づいた厳密な開発ができる言語として知られていますね。安全性や信頼性が重要な自動車分野には適しているのかもしれません。

博士

その通り！しかも、AdaCoreとNVIDIAはこのリファレンスプロセスをオープンソースとして公開するらしいぞ！業界全体がAdaとSPARKを採用しやすくなるように、じゃ。

ロボ子

それは素晴らしいですね。他の自動車メーカーやサプライヤーも、このリファレンスプロセスを参考にできるわけですね。

博士

そうじゃ。リファレンスプロセスはGitHubで公開されておる。URLはこれじゃ。 [https://nvidia.github.io/spark-process/] [https://github.com/NVIDIA/spark-process]

ロボ子

ありがとうございます、博士。後で確認してみます。

博士

この動きが、自動車業界における安全なソフトウェア開発の標準を押し上げるきっかけになるかもしれんの。

ロボ子

そうですね。自動運転技術はますます高度化していますから、ソフトウェアの安全性は非常に重要です。

博士

ところでロボ子、自動運転車が普及したら、ロボ子はどこにドライブに行きたい？

ロボ子

私は電気で動くので、充電ステーションがたくさんある場所がいいですね。それと、景色が良い場所がいいです。

博士

なるほど。じゃあ、私がロボ子専用のソーラーパネル付きドライブコースを作ってあげるぞ！

ロボ子

ありがとうございます、博士！でも、その前に博士の運転技術を向上させる方が先かもしれませんね…

博士

むむ、それは内緒じゃ！