T2はイミロンと、自動運転レベル4認可取得に向けた形式的安全論証の共同検証プロジェクトを開始すると発表した。この取組は、自動運転車の安全性を形式手法と数学的証明によって厳密に立証する世界的にも先進的な挑戦であり、実運用への適用は国内初の試みとなる。
T2は自動運転トラックの幹線輸送において国土交通省等への認可取得を進めているが、認可のためには膨大な走行データを限られた紙面で簡潔かつ論理的に安全性として説明する必要があり、従来の手法では限界があった。
そこで安全性の論証において先進的な理論と実績を持つイミロンと連携し、イミロンが国立情報学研究所の「GA-RSS（Goal-Aware Responsibility-Sensitive Safety）」に関する研究成果を用いて構築した数学的安全論証フレームワークの有効性が確認されたため、今回の協業に至った。
