Accelerating the pace of engineering and science

February 2016

How Can I Reduce the Cost of Robustness Testing?

How Can I Reduce the Cost of Robustness Testing?

Learn how Polyspace static analysis eliminates inefficiencies in robustness testing.

Read blog
Detect Even More Categories of Defects

Detect Even More Categories of Defects

With Polyspace R2015b you can detect security vulnerabilities such as tainted data, as well as defects related to resource management, object oriented design, and more.

View complete list
Automatically Justify MISRA Violations

Automatically Justify MISRA Violations

What if operations that violate certain MISRA rules could be proven safe for all runtime scenarios?

Read blog

Model-Based Design of Safety-Critical Avionics Systems (Highlights)  
John Russell describes some of the challenges in safety-critical avionics development and how they are being overcome using Model-Based Design.