PolySpace Model Link TL 5.4

for dSPACE TargetLink

Introduction

PolySpace Model Link TL extends PolySpace Client for C/C++ and PolySpace Server for C/C++ with tools that let you verify C code generated by TargetLink and trace PolySpace results from the generated C code to your 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 TL, you work in the Simulink environment to verify C code generated by TargetLink. You can verify a mix of generated and hand-written code before it is compiled.

You can start the code verification directly from within your TargetLink 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 model
• Launches from within TargetLink

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 Simulink model by TargetLink (inset). PolySpace Model Link TL highlights comments in the PolySpace results that link back to the corresponding block in the model. Click on image to see enlarged view.