Code covered by the BSD License  

Highlights from
Color Model from PolySpace Verification

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

Color Model from PolySpace Verification

by

 

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.

Contact us