Polyspace Model Link SL

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 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 (left) and the Polyspace results of the C code generated from the model (right). Polyspace Model Link SL highlights comments in the Polyspace results that link back to the corresponding block in the Simulink model.