Case Study: Delphi Diesel Systems achieves improved software reliability and faster time-to-market with MathWorks

Delphi Diesel Systems Ensures Software Reliability and Reduces Time to Market

Delphi Diesel Systems, part of Delphi Corporation’s Energy & Chassis division, needed to ensure the reliability of complex embedded software for diesel fuel‑injection systems while keeping time to market short. With applications of roughly 200,000 lines of code and thousands of calibration points that can change behavior post‑delivery, traditional testing was slow and inadequate. To address this, Delphi Diesel Systems adopted MathWorks’ Polyspace products, specifically Polyspace Bug Finder and Polyspace Code Prover, to detect run‑time errors early.

MathWorks’ solution integrated Polyspace tools into Delphi’s unit‑test workflow so modules are analyzed as soon as source code is available, automatically pinpointing run‑time errors and reducing reliance on lengthy robustness tests. As a result, Delphi Diesel Systems significantly cut debugging time by finding root causes earlier, automated reverification of small code changes, and increased customer confidence—delivering faster, lower‑cost defect resolution and more reliable embedded software.

Delphi Diesel Systems

Frédéric Retailleau

Software Verification Team Leader