Media releases are provided as is by companies and have not been edited or checked for accuracy. Any queries should be directed to the company itself.
  • 21 October 2010 10:21

MathWorks Polyspace tools help development teams achieve embedded software quality objectives

Introduce Polyspace metrics Web Dashboard to Measure Code Metrics, MISRA-C Compliance, and Run-time Errors

MathWorks today announced enhancements to its Polyspace embedded code verification products, which prove the absence of certain run-time errors in source code. The new Polyspace metrics web dashboard, automated scheduling of verification jobs, e-mail notification and increased code metric support allow engineers to choose and track embedded software quality metrics and thresholds. These enhancements help software teams to better define quality objectives and reach these faster for high-integrity applications across the automotive, aerospace, defense, and industrial automation & machinery industries.

Embedded software in critical applications needs to meet specific software quality objectives as part of regulatory mandates or corporate verification processes. In order for software teams to achieve these objectives, developers and managers need to define quality goals, the evaluation criteria and the associated metrics thresholds. The Polyspace metrics web dashboard helps software developers define relevant metrics and thresholds, such as code metrics, MISRA-C and run-time error metrics. It also provides the ability to track progress of these metrics through the verification process and to compare differences in quality in each code revision.

Another challenge for high-integrity application development is that non-systematic enforcement of verification tasks can lead to code quality fluctuations. Polyspace now offers integration with nightly processes and email systems, helping to automate the process of continuous verification. Engineers can reduce the iterative work of manual verification tasks, allowing them to focus on higher-level verification tasks such as addressing new issues arising between two versions of the same code.

“In addition to verifying that embedded software is free of run-time errors, quality engineers and managers need visibility into the software quality lifecycle,” said Andrew Clay, Managing Director Australia, MathWorks. “Teams using a common interface to design software quality models that support continuous code verification and measure their progress relative to critical metrics will be able to meet increasing demands for high quality software.”

About MathWorks: MathWorks is the leading developer of mathematical computing software. MATLAB, the language of technical computing, is a programming environment for algorithm development, data analysis, visualisation, and numeric computation. Simulink is a graphical environment for simulation and Model-Based Design of multidomain dynamic and embedded systems. Engineers and scientists worldwide rely on these product families to accelerate the pace of discovery, innovation, and development in automotive, aerospace, electronics, financial services, biotech-pharmaceutical, and other industries. MathWorks products are also fundamental teaching and research tools in the world’s universities and learning institutions. Founded in 1984, MathWorks employs more than 2200 people in 15 countries, with headquarters in Natick, Massachusetts, USA.

For additional information, visit

### MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders

Submit a media release