熱とノイズの検証時間を90％減、モデルベース開発向けシミュレーション技術（関連情報）：車載ソフトウェア