T2
自動運転の安全論証で検証PJ

　自動運転トラックの商用運行を開始したT2（本社＝東京都千代田区、熊部雅友代表取締役CEO）とシステム開発コンサルティングのイミロンは5日、ドライバーが同乗しない完全自動運転となるレベル4自動運転の認可取得に向けて、「形式的安全論証」の共同検証プロジェクト（PJ）を開始したと発表した。自動運転トラックの安全性を形式手法と数学的証明によって厳密に立証する世界的にも先進的な取り組みで、実運用への適用は...