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

Join the 15-year community celebration.

Play games and win prizes!

» Learn more

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

Color Model from PolySpace Verification

by

 

21 Dec 2010 (Updated )

The tool colors Simulink Model using PolySpace code verification.

| Watch this File

File Information
Description

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
Simulink
MATLAB release MATLAB 7.7 (R2008b)
Tags for This File   Please login to tag files.
Please login to add a comment or rating.
Updates
01 Sep 2016 1.0.0.1

Updated license

Contact us