Polyspace Release
Polyspace Product Changes
The new Polyspace product line contains seven products: a client and a server product for C/C++, a client and a server product for Ada, and three link products.
- Polyspace Server™ for C/C++
- Polyspace Client™ for C/C++
- Polyspace Server™ for Ada
- Polyspace Client™ for Ada
- Polyspace Model Link™ TL (for dSPACE® TargetLink®)
- Polyspace Model Link™ SL (for Simulink®)
- Polyspace UML Link™ RH (for Telelogic® Rhapsody®)
All add-ons previously available separately have been incorporated into these products.
Polyspace Training
Ensure a fast, smooth transition to working with Polyspace products.
Converting to New Polyspace Products
| If you own this Polyspace product | You will receive this MathWorks product | Feature and Dependency Changes | Individual License Option | Concurrent License Option |
|---|---|---|---|---|
Polyspace Verifier for C |
Polyspace Server for C/C++ | Includes Remote Launcher, Report Generator, DRS/ MISRA C Checker, and HTML generator |
N/A |
√ |
Polyspace Desktop for C |
Polyspace Client for C/C++ | Includes Viewer, DRS, MISRA-C Checker, and Report Generator |
√ |
√ |
Polyspace for Model-Based Design - TargetLink |
Polyspace Model Link TL (for dSPACE® TargetLink) |
Requires Polyspace Client for C/C++ |
√ |
√ |
Polyspace for Model-Based Design - Embedded Coder |
Polyspace Model Link SL (for Simulink®) |
Requires Polyspace Client for C/C++ |
√ |
√ |
Polyspace for UML - Rhapsody |
Polyspace UML Link RH (for Telelogic® Rhapsody®) |
Requires Polyspace Client for C/C++ |
√ |
√ |
Polyspace Verifier for Ada95 |
Polyspace Server for Ada | Includes Remote Launcher, Report Generator, and HTML generator |
N/A |
√ |
Polyspace Desktop for Ada95 |
Polyspace Client for Ada | Includes Viewer and Report Generator |
√ |
√ |
Please contact your MathWorks sales representative for more information regarding your software license.
