株式会社ジェイテクト、電動パワーステアリング・システム・サプライヤーが安全性重視の自動車用ソフトウェア開発にSPARK Proを採用～SPARKの形式手法が、安全重視の自動運転システム向け開発、検証コストを削減～