View License

Download apps, toolboxes, and other File Exchange content using Add-On Explorer in MATLAB.

» Watch video

Highlights from
Color Model from PolySpace Verification

Be the first to rate this file! 2 Downloads (last 30 days) File Size: 451 KB File ID: #29799 Version:
image thumbnail

Color Model from PolySpace Verification



21 Dec 2010 (Updated )

The tool colors Simulink Model using PolySpace code verification.

| Watch this File

File Information

The tool is used to color Simulink Model using PolySpace results to show directly which blocks contains or not run-time errors (like division by zero, overflow...).
There are 4 colors:
-green: free of run-time error
-red: systematic run-time error
-gray: unreachable code
-orange: unproven code (potential error)

Required Products Polyspace Client for C/C++
Polyspace Model Link SL
Embedded Coder
MATLAB release MATLAB 7.7 (R2008b)
Tags for This File   Please login to tag files.
Please login to add a comment or rating.
Comments and Ratings (1)
28 Sep 2016 Ram

Learn more about Polyspace static code analysis here:


Comment only
01 Sep 2016

Updated license

Contact us