“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:
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.
To accelerate the verification of airbag suppression systems
Use Polyspace products to detect run-time errors in safety-critical embedded software