PolySpace Model Link SL 5.4

for Simulink

Introduction

PolySpace Model Link SL extends PolySpace Client for C/C++ and PolySpace Server for C/C++ with tools that let you trace PolySpace results from generated C code directly to your Simulink® model. As a result, you can identify which parts of the model are reliable, and correct design problems that will cause run-time errors in the code. With PolySpace Model Link SL, you work in the Simulink environment to verify C code generated by Real-Time Workshop® Embedded Coder. You can verify a mix of generated and hand-written code before it is compiled.

You can start the code verification directly from the Simulink model using context-sensitive predefined settings.

Key Features

• Uses advanced code-based verification techniques to automatically verify all program executions
• Incorporates the entire range of parameter values specified in the model
• Traces run-time errors back to the Simulink model
• Launches from within Simulink or from the MATLAB® command line

PolySpace Client for C/C++ GUI showing a Simulink model of a high-gain control system and the PolySpace results of the C code generated from the model (inset). PolySpace Model Link SL highlights comments in the PolySpace results that link back to the corresponding block in the Simulink model. Click on image to see enlarged view.