自動運転システムの安全性を自動分析する新手法、肝は「大まかに捉える」

「自動車システム設計の安全性を自動分析する手法」の全体概念図（クリックで拡大） 出典：NII