User Stories

ELESYS North America Speeds Verification of Safety-Critical Embedded Software

View PDF

PolySpace User Story Elesys
Airbag deployment during a frontal crash test.

“Polyspace products enabled us to dramatically reduce our workload per analysis—from several man-months to a matter of days.”

Svetoslav Stoyanov, ELESYS North America

While airbags help protect adult passengers in automobile collisions, the force of a deployed airbag can seriously injure younger passengers. To minimize this risk, the U.S. National Highway Traffic Safety Administration requires all vehicle manufacturers to comply with Federal Motor Vehicle Safety Standards (FMVSS) 208 and suppress airbag deployment when a child is detected in the seat.

As a global business leader in automotive safety electronics, ELESYS North America supplies customers such as Honda and General Motors with a wide range of passive and active safety systems, including airbag sensors and controllers, adaptive cruise control, transmission controls, vehicle stability controls, and electronic power steering. ELESYS uses Polyspace Bug Finder™ and Polyspace Code Prover™ to ensure the reliability of its systems’ embedded software while meeting the company’s time-to-market objectives.

“The whole application must execute flawlessly each and every time—lives depend on it. That means that we must ensure that such applications are bug-free,” says Svetoslav Stoyanov, software engineering manager for the Software Development and Testing Group at ELESYS North America. “Polyspace products allow us to debug our applications much faster, which enables us to go to market faster without the need for additional resources.”


ELESYS developed an airbag suppression system that detects the passenger’s weight and disables or enables the airbag as necessary to avoid injuries to children. To ensure the safety of this and other systems, ELESYS engineers conducted time-consuming manual reviews to check for the presence of run-time errors.

“The manual code review process was an inefficient use of our resources,” says Stoyanov. In addition to being time-consuming, pinpointing errors with this approach was a challenge. Stoyanov adds, “Some run-time errors may only occur under specific operating conditions, which makes them very hard to identify.”

ELESYS sought to accelerate run-time testing without adding more testing resources or compromising quality. “We wanted to find a tool that would help us reduce verification time while helping us achieve our stringent software reliability objectives,” says Stoyanov.


ELESYS engineers used Polyspace® products to conduct an exhaustive analysis of their code. Polyspace products analyzed each function and operation for its possible value range and then color-coded it according to its reliability, as follows:

  • Green: safe under all operating conditions
  • Red: definite error each time the operation is executed
  • Orange: possible run-time error depending on operating conditions
  • Grey: unreachable code (may indicate a functional issue)

The team focused their resources on the areas that Polyspace products had highlighted in red and orange.

ELESYS made Polyspace products an integral part of its release procedure. All ELESYS software must be analyzed with Polyspace products before it is released, to ensure that run-time errors will not be uncovered during the maintenance phase.

After initially using Polyspace products only for software validation, ELESYS engineers now use them throughout development to find and eliminate errors in the early stages of each project.

“During development, whenever we are developing a critical module that embeds complex code, we use Polyspace products to quickly identify any potential run-time errors,” says Stoyanov.


  • Verification in days, not months. “On average, a Polyspace analysis on a complete application takes six or seven hours. If we were to use manual code review with the same resources, it would take us at least a month,” says Stoyanov. “Overall, Polyspace products enabled us to dramatically reduce our workload per analysis from several man-months to a matter of days.”
  • Hard-to-find bugs located. “Some bugs would be very difficult, even impossible, to identify manually or through conventional testing. Polyspace products enable us to find these potentially critical errors fast, and provide for an unparalleled level of software reliability. In our line of products, this is a powerful competitive advantage,” says Stoyanov.
  • Testing efficiency increased. “Polyspace products are highly selective, which means we did not have to sift through a huge number of baseless warnings before identifying real issues,” explains Stoyanov. “Other tools may tell you where errors lie, but cannot guarantee that other operations are safe. That usually forces you to proceed with redundant tests. Polyspace products flag all operations that will never experience run-time errors—no matter the operating conditions. That enables us to invest our resources where they are the most effective.”


To accelerate the verification of airbag suppression systems


Use Polyspace products to detect run-time errors in safety-critical embedded software


  • Verification in days, not months
  • Hard-to-find bugs located
  • Testing efficiency increased

Products Used

Learn more about ELESYS