As part of the Energy & Chassis division of Delphi Corporation, Delphi Diesel Systems develops diesel fuel-injection systems for light-, medium-, and heavy-duty vehicles. A major goal of Delphi Diesel Systems is the delivery of innovative diesel injector technology to enable global OEM automotive customers to reduce noise levels, pollutant emissions, fuel consumption, and torque.
Polyspace Bug Finder™ and Polyspace Code Prover™ help Delphi Diesel Systems ensure software reliability and accelerate development by pinpointing run-time errors in the code as soon as it is written.
“Allowing us to detect bugs much more quickly than with classical time-consuming testing methods is by itself of great value,” notes Frédéric Retailleau, software verification team leader for Delphi Diesel Systems at Blois, France. “On top of that, using Polyspace products as soon as source code is available helps us catch bugs much earlier and thus at a much lower cost.”