AdaCore製品が株式会社IHIに採用された事例に関するプレス発表しました
株式会社IHIが自動運転トラックのシステム・ソフトウェア開発にAdaCoreの「QGen」モデルベース・エンジニアリング・ツールスイートを採用
QGenツールスイートはSimulink®/Stateflow®モデルに対応セーフティ・クリティカルなシステム・ソフトウェアの検証を効率化
IHI QGen Press Release final-JNews
株式会社IHIが自動運転トラックのシステム・ソフトウェア開発にAdaCoreの「QGen」モデルベース・エンジニアリング・ツールスイートを採用
QGenツールスイートはSimulink®/Stateflow®モデルに対応セーフティ・クリティカルなシステム・ソフトウェアの検証を効率化
IHI QGen Press Release final-J