自動運転システムの安全性を自動分析する新手法、肝は「大まかに捉える」（関連情報）：車載ソフトウェア