Release 2019a Products with License-Related Changes

Eight products have license-related changes in R2019a. To use the latest version of each product, you must have a subscription to MathWorks Software Maintenance Service as of R2019a.

Polyspace Products Transition in R2019a

Overview of the changes occurring with Polyspace products in R2019a

Polyspace Bug Finder

As of R2019a, Polyspace^® Bug Finder™ has transitioned into three new products: Polyspace^® Bug Finder™, Polyspace^® Bug Finder™ Server, and Polyspace^® Bug Finder™ Access.

If you are:

Subscribed to Software Maintenance Service as of R2019a for Polyspace Bug Finder based on MATLAB	New license(s) are provided to include the following product at no initial cost: Polyspace Bug Finder They will appear on future Software Maintenance Service renewal invoices.
Not subscribed to Software Maintenance Service as of R2019a for Polyspace Bug Finder based MATLAB	New license(s) are provided to include the following product at no initial cost: Polyspace Bug Finder You need to renew your Software Maintenance Service subscription to access the new product.
Subscribed to Software Maintenance Service as of R2019a for Polyspace Bug Finder based on MATLAB Parallel Server	New license(s) are provided to include the following products at no initial cost: Polyspace Bug Finder Server Polyspace Access They will appear on future Software Maintenance Service renewal invoices.
Not subscribed to Software Maintenance Service as of R2019a for Polyspace Bug Finder based on MATLAB Parallel Server	New license(s) are provided to include the following products at no initial cost: Polyspace Bug Finder Server Polyspace Access You need to renew your Software Maintenance Service subscription to access the new products.

Polyspace Code Prover

As of R2019a, Polyspace^® Code Prover™ has transitioned into three new products: Polyspace^® Code Prover™, Polyspace^® Code Prover™ Server, and Polyspace^® Code Prover™ Access.

If you are:

Subscribed to Software Maintenance Service as of R2019a for Polyspace Code Prover based on MATLAB	New license(s) are provided to include the following product at no initial cost: Polyspace Code Prover They will appear on future Software Maintenance Service renewal invoices.
Not subscribed to Software Maintenance Service as of R2019a for Polyspace Code Prover based MATLAB	New license(s) are provided to include the following product at no initial cost: Polyspace Code Prover You need to renew your Software Maintenance Service subscription to access the new product.
Subscribed to Software Maintenance Service as of R2019a for Polyspace Code Prover based on MATLAB Parallel Server	New license(s) are provided to include the following products at no initial cost: Polyspace Code Prover Server Polyspace Code Prover Access * They will appear on future Software Maintenance Service renewal invoices.
Not subscribed to Software Maintenance Service as of R2019a for Polyspace Code Prover based on MATLAB Parallel Server	New license(s) are provided to include the following products at no initial cost: Polyspace Code Prover Server Polyspace Code Prover Access You need to renew your Software Maintenance Service subscription to access the new products.

Embedded Coder Support Package for AUTOSAR Standards

As of R2019a, Embedded Coder^® Support Package for AUTOSAR Standards has transitioned to a new product: AUTOSAR Blockset.

If you are:

Subscribed to Software Maintenance Service as of R2019a for Embedded Coder and have downloaded Embedded Coder Support Package for AUTOSAR Standards	License(s) are updated to include the following product at no initial cost: AUTOSAR Blockset They will appear on future Software Maintenance Service renewal invoices.
Not subscribed to Software Maintenance Service as of R2019a for Embedded Coder and have downloaded Embedded Coder Support Package for AUTOSAR Standards	License(s) are updated to include the following product at no initial cost: AUTOSAR Blockset You need to renew your Software Maintenance Service subscription to access the updated product.

Stateflow

As of R2019a, Stateflow^® no longer requires Simulink^®.

MATLAB Distributed Computing Server

As of R2019a, MATLAB^® Distributed Computing Server™ has been renamed MATLAB^® Parallel Server™. In addition, MATLAB Parallel Server has license model changes that are applicable to all releases:

See MATLAB Parallel Server License Model and MATLAB Parallel Server for Campus-Wide Licenses for more information.
To use the new license model requires: 1) an updated license file and an update to the Network License Manager OR 2) use of online licensing.

Audio System Toolbox

As of R2019a, Audio System Toolbox™ has been renamed Audio Toolbox™.

Automated Driving System Toolbox

As of R2019a, Automated Driving System Toolbox™ has been renamed Automated Driving Toolbox™.

Computer Vision System Toolbox

As of R2019a, Computer Vision System Toolbox™ has been renamed Computer Vision Toolbox™.

Simulink Design Verifier

As of R2019a, the Model Slicer feature has moved from Simuilnk^® Design Verifier™ to Simulink^® Check™.

* As of R2022a, Polyspace Access and Polyspace Code Prover Access have merged into a single product: Polyspace^® Access™.