Polyspace R2021a is a significant update from that focuses on speed, automated compliance for automotive standards, and improved developer workflows within Key Features & Enhancements Enhanced AUTOSAR Support Polyspace Code Prover
The results database schema changed from SQLite embedded to a more robust PostgreSQL backend for server deployments. Note: This is a breaking change. If you upgrade a Polyspace Access server from R2020b to R2021a, automatic migration is not supported. You must export old results as JSON before upgrading.
: Improved performance and precision for code using the AUTOSAR RTE API. Managing Reports Collaborative Review : Users often use Polyspace Access polyspace r2021a
What’s New in Polyspace R2021a? - MATLAB & Simulink - MathWorks
Polyspace R2021a is a "maturity release." It fixes the performance bottlenecks of R2020b, adds practical support for VS Code (PAYC), and significantly speeds up Code Prover via multi-core. It is not a revolutionary UI overhaul, but for safety-critical teams writing MISRA-compliant C/C++ for automotive, avionics, or medical devices, it represents a stable, actionable upgrade. Polyspace R2021a is a significant update from that
PQL (Polyspace Query Language): Users can now create their own custom defect checkers and coding standards using PQL, which supports a new .pql file format and a dedicated command-line tool. The "Shift Left" Philosophy Polyspace Notes - MATLAB & Simulink - MathWorks
Continuous Integration (CI): Detail the use of Polyspace Server and Polyspace Access for automated verification within CI pipelines (e.g., using Bitbucket or Bamboo) [10]. You must export old results as JSON before upgrading
: Use the results list to view defects grouped by category (e.g., numerical issues, memory issues) and mapped to standards like or setting up a CI/CD pipeline for Polyspace? AI responses may include mistakes. Learn more What's New in Polyspace R2021a? - MATLAB & Simulink
now supports analyzing projects containing a mixture of C and C++ source files. Enhanced MATLAB Integration : Users can configure and launch analyses directly from the Command Window or Editor using polyspace.Project