株式会社ジェイテクト、電動パワーステアリング・システム・サプライヤーが
安全性重視の自動車用ソフトウェア開発にSPARK Proを採用

~SPARKの形式手法が、安全重視の自動運転システム向け開発、検証コストを削減~

[日本語] [AdaCore社サイト]