PolySpace Model Link TL 5.5

for dSPACE TargetLink

PolySpace^® Model Link™ TL extends PolySpace^® Client™ for C/C++ and PolySpace^® Server™ for C/C++ products 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 software, 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.