AdaCore製品が株式会社IHIに採用された事例に関するプレス発表しました

株式会社IHIが自動運転トラックのシステム・ソフトウェア開発にAdaCoreの「QGen」モデルベース・エンジニアリング・ツールスイートを採用

QGenツールスイートはSimulink®/Stateflow®モデルに対応セーフティ・クリティカルなシステム・ソフトウェアの検証を効率化

IHI QGen Press Release final-J

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