自動運転支援システム安全性検証のForetellixの開発する検証言語が世界標準に

イスラエルといえば、地中海のシリコンワディと呼ばれるハイテクベンチャー企業の集積地であり、海外からの巨額の投資を集めることで知られていますが、自動緊急ブレーキやアダプティブクルーズコントロールなどの自動運転支援システム（ADAS）や、自律走行車の安全検証の新しい旗手として台頭してきていることは、あまり知られていないのではないだろうか。自動運転車の安全性検証のためのソフトウェアプラットフォームを提供するイスラエルのForetellix社は、この技術の最前線に立っており、現在の顧客には、Volvo Group、Valeo、DENSO Corporation（グローバル自動車部品メーカー）など世界最大の自動車メーカー12社とそのサプライヤーが名を連ねています。Foretellixの最高規制責任者で共同設立者のGil Amidは、1983年に8200部隊での任務を終えたものの、「私たちは最近8200（Signals Intelligence）部隊を辞めて会社を設立した人たちで構成される典型的な新興企業ではありません」と語っています。同社CEOのZiv Binyamini氏、CTOのYoav Hollander氏とともに、3人は、マイクロチップの検証システムを設計してきた数十年の経験を、自動運転車にも適用できるという結論に達しました。1990年代初頭、3人はインテルの「浮動小数点バグ」問題を目の当たりにし、マイクロプロセッサーを効果的に検証できず、数十億ドル規模の欠陥チップの回収を余儀なくされたと振り返る。この時、Hollanderは、マイクロチップの品質を検証する新しい方法論と検証用プログラミング言語「E言語」を開発し、この方法論は現在、業界で広く使用されている。その後、バーシティという会社を設立して成功を収め、株式公開を経て、最終的にアメリカの多国籍ソフトウェア会社ケイデンス社に売却された。

Hollander、Amid、Binyaminiの3人は2016年に再会し、「マイクロチップの世界で開発された方法論やツールは、自律走行車にも適しているだろう」という結論に達しました。「これが、私たちを導いた歴史的基盤です」とアミッド氏は述べています。彼らが開発した検証言語と、テストの自動化・分析プラットフォームは、まさにそれを実現するものです。人間のドライバーが路上で遭遇し、ほとんど意識することなく対応するような、しかし既存の自律走行機能には大きな挑戦となりうる無数のシナリオを、顧客がテストすることを可能にするのです。Foretellixは、オープンプラットフォームのアプローチを採用し、同社のシステムと統合する20社以上と協力しています。また、最近では、ドイツのdSpace社が12月にForetellix社との新たな契約を発表するなど、自律走行システムの実際のシミュレーションを行う事業体との協力関係を広げています。両社が提供する共同ソリューションは、Foretellix社の検証システムであるForetifyとdSPACEのシミュレーションを統合したものです。両社の共同声明では、「ForetellixとdSPACEは、開発サイクルの早い段階でバグ、エッジケース、および未知の要素を特定することにより、テストコストを大幅に削減する堅牢なテストおよび検証ソリューションを共に提供します」と述べています。

Amid氏は、自分の会社がイスラエルの小さなスタートアップから、「自分たちの言語を取り上げ、それを世界標準にしようとするイスラエルの気概」を備えて、ミッションに乗り出したと述べています。投資家からのシードマネーを確保した2018年末、同社は600社以上のメーカーやサプライヤーを会員とする自動車標準化のための組織であるASAM（Association for Standardization of Automation and Measuring Systems）と連携しました。ASAMや業界と協力しながら、Foretellixは、自律走行システムの安全性を評価するための共通言語と方法論を構築するために、12月に発表した「ASAM OpenSCENARIO 2.0 Standard」と呼ぶ新しい規格の基礎を形成すべきであることを証明することができました。

Amidは、次のように述べています。「私たちの言語が主要な標準として受け入れられるようになるまで、2年かかりました。12月中旬にASAMから承認されたことは、最も重要なマイルストーンです。これは、我々の言語のほぼ最終版を意味します。つまり、世界中からフィードバックを受けることができるのです。これからの四半期でフィードバックを受け、数カ月後にはリリースするのが目標です。結局、イスラエルの会社が、21世紀の自動車を支配することになる業界の検証言語を、世界標準にしたということです。大胆さが大きな要因です。イスラエルは自動車を作っているわけではなく、その力は自動車に関する革新的な考え方にあります。Foretellixができたのは、自動車の未来をより安全にする方法を知っていると、自動車業界を説得することです。」