IHI Corporation Selects AdaCore's QGen to Build New Truck Software

IHI Corporation has chosen its revolutionary QGen Model Verifier to develop the safest and reliable autonomous truck system cost-effectively

AdaCore, in a recent press meet, has announced that IHI Corporation has chosen its revolutionary QGen Model Verifier, which is a part of its QGen model-based engineering tool suite, to develop the safest and reliable autonomous truck system cost-effectively. The company will also be building autonomous control units meant to control various critical operations, including the gas and brake pedals, the steering wheel, speed, and obstacle sensors.

IHI has evaluated the QGen model-based engineering tool suite for Simulink® and Stateflow® line up. The company has ensured that the models operated precisely within a safe Simulink subset. Earlier, IHI used various models that contained a significant amount of MATLAB code rather than Simulink blocks. AdaCore recommended that IHI change the MATLAB code settings into Simulink blocks to analyze their model more deeply.

By using the all-new QGen Model Verifier, IHI software developers will be saving hours of testing time and verification efforts. This model will also reduce costs while providing enhanced and improved safety guarantees and guidelines to its transportation customers.