Within Simulink, the Design Verifier product complements Polyspace. Design Verifier proves properties at the model level (e.g., "state machine never enters invalid state"), while Polyspace proves the generated C code. Together, they provide end-to-end formal verification from model to binary.
Polyspace R2021a (version 2021a) focuses on enhanced MISRA compliance, C++11/14 support improvements, and streamlined reporting.
Choose Polyspace R2021a if:
Avoid if:
For teams already in the MathWorks ecosystem (Simulink, Embedded Coder, MATLAB), Polyspace R2021a is a natural, powerful extension. Its ability to prove code correctness—not just guess—makes it indispensable for the most demanding embedded applications. polyspace r2021a
Once per milestone, the verification team runs Code Prover. Analysis takes 4–8 hours for 500k LOC. The output is a colored source browser:
Polyspace R2021a is a static code analysis tool from MathWorks (part of the MATLAB/Simulink product family) focused on detecting run-time errors and coding-rule violations in C, C++, and Ada source code without executing the program. It uses formal methods and abstract interpretation to prove absence of certain classes of run-time errors (e.g., array out-of-bounds, divide-by-zero, null-pointer dereference) and to mark other code locations as “unproven” where insufficient information exists. Polyspace integrates with Simulink workflows, supports MISRA and other coding standards checks, and can be used for verification, certification support (DO-178C, ISO 26262, IEC 61508), and secure-coding assessment. Run analysis:
For medical device software, R2021a improves the documentation workflow. The generated reports now include more granular traceability links, specifically tailored to the software lifecycle requirements of IEC 62304. This reduces the manual effort required to map static analysis results to the Software Development Plan (SDP).
For industries governed by strict regulatory frameworks, R2021a introduces targeted updates to ease the certification burden. Polyspace R2021a (version 2021a) focuses on enhanced MISRA