アイティアクセス取扱のメーカーAdaCoreより、プレスを発表しました

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

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

JTEKT_SPARK_202006

 

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