As part of the Energy & Chassis division of. Delphi Corporation, Delphi Diesel
Systems develops diesel fuel-injection systems for light-, medium-, and heavy-
duty ...
User Story
Delphi Diesel Systems Ensures Software Reliability and Reduces Time to Market As part of the Energy & Chassis division of
lines of code, there are thousands of calibra-
Delphi Corporation, Delphi Diesel Systems
tion points. These constants may be changed
develops diesel fuel-injection systems for
after software delivery by calibration teams,
light-, medium-, and heavy-duty vehicles. A
potentially modifying the behavior of the
major goal of Delphi Diesel Systems is the
whole application. This characteristic leads
delivery of innovative diesel injector tech-
to extreme difficulties when it comes to per-
nology to enable global OEM automotive
forming tests.”
customers to reduce noise levels, pollutant Delphi Diesel common rail system.
emissions, fuel consumption, and torque.
ded software is crucial. Poor reliability can
Prover™ help Delphi Diesel Systems ensure
lead to product recalls, which are not only
software reliability and accelerate develop-
costly but also detrimental to the compa-
ment by pinpointing run-time errors in the
ny’s image over the long term. At the same
code as soon as it is written.
time, Delphi Diesel Systems cannot slow
quickly than with classical time-consuming testing methods is by itself of great value,” notes Frédéric Retailleau, software verificaThe Challenge
tion team leader for Delphi Diesel Systems
Automatically find run-time errors in embedded software for diesel fuelinjection systems
at Blois, France. “On top of that, using
Use Polyspace products to analyze embedded code and pinpoint reliability problems
rely on electronics, the reliability of embed-
Polyspace Bug Finder™ and Polyspace Code
“Allowing us to detect bugs much more
The Solution
Because fuel-injection systems increasingly
development in its attempt to improve reliability. Delphi Diesel Systems needed a software analysis tool that would enable the software verification team to ensure reliability while increasing productivity and development speed.
Polyspace products as soon as source code
The Solution
is available helps us catch bugs much earlier
The Delphi Diesel Systems team evaluated
and thus at a much lower cost.”
Polyspace® tools by using them to analyze
The Challenge
some existing applications. Polyspace prod-
The Results
“The main concern with the development of
• Debugging time reduced • Reverification automated • Customer confidence increased
diesel injector control software is the high number of calibrations,” explains Retailleau. “In a typical application containing 200,000
ucts for C and C++ identified errors in software that had been considered fully tested.
“Using Polyspace products as soon as source code is available helps us catch bugs much earlier and thus at a much lower cost.” —Frédéric Retailleau, Delphi Diesel Systems
Based on the results of this evaluation, the
The Results
team decided to integrate Polyspace tools
Debugging time reduced. “Dynamic testing
into its testing process. They applied them
merely allowed us to detect the symptoms
Application Areas
as early as possible in the process, before
of the errors,” says Retailleau. “Polyspace
• Control systems
functional unit tests, to maximize develop-
code verification pinpoints their root cause,
Capabilities
ment efficiency and address testing diffi-
saving us significant debugging efforts.”
• Verification, validation, and test
Reverification automated. “Because the
Products Used
In this new unit test process, the Blois team
analysis is entirely automatic, evaluating
systematically used Polyspace tools to ana-
the consequences of small modifications to
• Polyspace Bug Finder • Polyspace Code Prover
lyze software modules as soon as they were
the software is also quicker with Polyspace
developed.
products,” notes Retailleau.
Using Polyspace products, they automati-
Customer confidence increased. “We want
cally identified run-time errors in the diesel
to let our customers know that we use state-
fuel-injection system’s embedded software,
of-the-art tools for the detection of run-
eliminating time-consuming robustness
time errors,” Retailleau says. “We definitely
tests that frequently provided inadequate
use our best efforts to ensure the reliability
results.
of our embedded diesel injection control
culties caused by the calibration issue.
Industry • Automotive
Learn More About Delphi Diesel Systems www.delphi.com
software.”
mathworks.com © 2013 The MathWorks, Inc. MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See mathworks.com/trademarks for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders.
91515v02 9/13