【自動運転・新技術】自動運転車の安全性に数学的証明を与える新手法を開発

自動車の自動運転を社会が受け入れるためには、安全性の保証とトレーサブルな(論理的議論を追跡できる)説明が必須である。数学的証明は厳密な安全性保証であり、究極の安全性保証のかたち。しかし、実際の自動運転システムへの適用は簡単ではなかった。既存の方法論「RSS(責任感知型安全論、responsibility-sensitive safety)を形式論理的に拡張し、安全ルール導出のためのソフトウェアサポートを設計したことにより、複雑な運転シナリオでも安全性の数学的証明が可能になった。自動運転の社会受容・普及の加速が期待される。

自動運転車の安全性に数学的証明を与える新手法を開発(国立研究開発法人 科学技術振興機構)

自動運転車の安全性に数学的証明を与える新手法を開発~論理的安全ルールの効率的導出により自動運転の社会受容を加速~(国立情報学研究所)

 

Tagged on: ,