2022/07/07 自動運転車の安全性に数学的証明を与える新手法を開発 ~論理的安全ルールの効率的導出により自動運転の社会受容を加速~ 情報・システム研究機構 国立情報学研究所(NIIエヌアイアイ、所長:喜連川 優、東京都千代田区)のアーキテクチャ科学研究系教授 蓮尾はすお 一郎いちろうらの研究チームは、科学技術振興機構(JSTジェイエスティー、理事長:橋本はしもと 和仁かずひと、東京都千代田区)の戦略的創造研究推進事業 ERATOエラトー蓮尾メタ数理システムデザインプロジェクト(*1)(ERATO MMSD、研究総括:NIIアーキテクチャ科学研究系教授 蓮尾 一郎)のもと、自動車の自動運転システムの安全性に強い数学的保証を与える技術とその基礎理論を開発しました。 本研究では、自動運転安全性の数学的証明のための既存の方法論「RSS(責任感知型安全論、responsibility-sens