AutoTechのForetellixが、ADASや自律走行車の測定可能な安全性を実現・向上

初期のIntel Pentiumプロセッサの浮動小数点演算ユニット（FPU）に影響を与えたハードウェアバグを覚えている人は、おそらく多くないだろう。1990年代初頭のことです。このバグは、特定の高精度数値のペアを分割する際に、プロセッサが誤った2進浮動小数点結果を返すというものでした。

インテルは1994年12月、欠陥のあるプロセッサを回収しました。これは、コンピュータチップの完全回収としては初めてのことでした。当時はまだ小さな会社だったインテルは、このリコールで5億ドルを費やしました。その結果、業界全体がマイクロプロセッサの検証方法に注目するようになり、さまざまな手法が開発されました。

イスラエルの3人のエンジニアは、まさにその渦中にいて、高度なマイクロプロセッサの検証・妥当性確認問題を解決するためのソリューションを開発していました。これらはチップ設計業界における複雑な問題であり、正しく機能することを保証しなければならなかったのです。10年後、このエンジニアのうちの2人、Yoav HollanderとZiv Binyaminiは、他のチップ設計業界にソリューションを提供するスタートアップで一緒に働きました。この会社は後に、アメリカの多国籍計算ソフトウェア企業であるCadence社に買収されました。

2016～17年頃、HollanderとBinyaminiは、3人目のエンジニアであるGil Amidとともに、自分たちが開発したソリューションが、自律走行車（AV）の複雑なソフトウェアとハードウェアシステムの検証にも適用できることに気づきました。半導体チップの100億個のトランジスタを解き、検証するために適用した同じアプローチを、現実の生活の中で無限の状況やシナリオを満たす自動運転車を検証する方法に変更し、適用できることを3人は理解したのです。

あることがきっかけで、ForetellixはYoav Hollanderを創業者兼CTO、Ziv BinyaminiをCEO兼共同創業者、Gil Amidを Chief Regulatory Affairs Officer兼オペレーション担当副社長兼共同創業者として設立しました。このスタートアップは、セーフティクリティカルな自動車検証のデジタル・トランスフォーメーションを実現することを目的としています。このスタートアップは、最初のシード資金を調達し、自動運転車業界向けのソリューションの作成に着手しました。

ForetellixのUSPは、シナリオを書くために使用できる「非常に特殊なソフトウェア言語」にあります。Hollanderがチップ設計のためにこのような言語を発明したのは、今から約30年前のことです。Hollanderはこの言語を改良し、自動車産業向けに完全にチューニングしました。Amidは、以前は「2プラス2を複雑なマイクロプロセッサーに送り込む方法」を記述していたこの言語が、今では「車がどのように走っていて、誰かがどのように進路に割り込んでいるか」など、道路で起こるさまざまな出来事を記述できるようになったと語っています。このような言語とシナリオがあれば、あとは簡単です。「この言語を読み、理解し、シミュレーターの中で適切な状況を作り出すコンピュータープログラムが必要なのです」と説明しました。

自動運転車の最大の課題のひとつは、安全かどうか、十分なテストが行われているかどうかが分からないことです。Foretellixのソリューションは、ADAS（先進運転支援システム）や自律走行車の「測定可能な安全性」を実現・向上させることを目的としています。これは、自律走行車があらゆる可能な運転条件下で適切に動作することを保証することを目的としています。AVに関する現在のテストレベルと、想定される数多くの状況は不十分である、とAmidは述べています。Foretellixのソリューションにより、企業はシミュレーションを使った非常に集中的で徹底したテストを実施することができます。エッジケースを含む何億もの運転シナリオをオーケストレーションし、監視するためのインテリジェントな自動化および分析ツールを開発します。Foretellixは、シミュレータの上のレイヤーです。Foretellixはシミュレーターにさまざまなシナリオを注入し、そのシナリオに対する自動運転車の反応を測定します。「私たちの仕事は、自動運転車のソフトウェアに挑戦し、それが正しく反応するかどうかを確認することです。さらに説明すると、Foretellixのソリューションは、自動車の開発および認証の段階で使用されているとのことです。運行中の車両に居座るソフトウェアではありません。」