電子制御ユニット（ＥＣＵ）や制御ソフトウエア開発ツールを手がけるｄＳＰＡＣＥジャパン（宮野隆社長、東京都品川区）は、独ＢＴＣエンベデッドシステムと共同で、アプリケーションの安全性確認時のテスト深度を高める新たな手法を開発したと発表した。この手法を活用することでテスト担当者は形式検証のシミュレーションを容易に実施することができる。走行車両の機能安全…