MathWorks pre-verifies potential bugs and security vulnerabilities
Reduce source code verification time by up to 80%

MathWorks has dramatically reduced the time it takes to verify security vulnerabilities during ADAS development.

MathWorks announced on the 27th that HLClemub has improved quality by utilizing software polyspace in the ADAS development process.

HL Clemuv leveraged MathWorks’ Polyspace product line, including Polyspace Bug Finder™, to develop ADAS and autonomous driving software to be built into production vehicle models.

It is essential to proactively verify potential bugs and security vulnerabilities, as ADAS failures can increase security issues and the risk of accidents.

HL Clemub used to require static analysis of source code and review of results based on independent tools, which took a lot of time and money during the development process.

Especially when errors are discovered late in the development process, developers often have to put in more effort and time to fix the code.

The MathWorks and HLClemov teams have collaborated to integrate Polyspace tools into developers’ CI tool chains, automating static code analysis and enabling collaborative review of analysis results.

Administrators and engineers can use the Polyspace Access web browser interfaceIt allows you to review code you've worked on in collaboration with other teams, and leverage static analysis results from Simulink models and automatically generated code from Embedded Coder.

As a result, the time required for source code verification could be shortened by up to 80%, and problems or potential defects could be diagnosed in the early stages of development.

In addition, by generating a report that includes the code verification results, we were able to meet the autonomous driving programming development standards such as MISRA and CERT, which are the quality requirements of the manufacturer (OEM).

Lee Min-chae, HL Clemub AD SW1 team leader, said, “Throughout the ADAS development process, we were able to identify and eliminate problems such as code vulnerabilities in advance, thereby increasing safety and achieving differentiation,” adding, “We will continue to steadily develop core ADAS technologies to enhance our quality competitiveness.”

A MathWorks official said, “As autonomous driving technology has advanced recently, requirements for software quality and security are also increasing,” and added, “MathWorks will continue to provide support to meet these customer demands.”