Polyspace Model Link SL 5.8

for Simulink

Latest Features

Version 5.8

Released: 1 Sep 2011
 

Version 5.8, part of Release 2011b, includes minor enhancements.

• Polyspace verification options in Simulink configuration set
• Support for 16-bit cross compiler
• Code generation options resulting in optimal code verification

See the Release Notes for details.

Update Now

• Download the latest version if your software maintenance service is current.
• Purchase or request a renewal quote if your maintenance service has lapsed.
• Try the latest version by downloading or requesting trial software.

---

Version 5.7

Released: 8 Apr 2011
 

Version 5.7, part of Release 2011a, includes the following enhancements:

• Customization of computation through overflow
• Main generator that considers the scope of the step, initialization functions, and calibrations
• Precision enhancements on arrays and functions
• Ability to comment a check directly in the Simulink model

See the Release Notes for details.

Version 5.6

Released: 3 Sep 2010
 

Version 5.6, part of Release 2010b, includes minor enhancements.

See the Release Notes for details.

Version 5.5

Released: 5 Mar 2010
 

Version 5.5, part of Release 2010a, includes minor enhancements.

See the Release Notes for details.

Version 5.4

Released: 4 Sep 2009
 

Version 5.4, part of Release 2009b, includes bug fixes.

See the Release Notes for details.