CATALOGUES
WHITE PAPERS
PRESS RELEASES
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.
See also
Buyers
Find your suppliers Complete your request and let our teams find you the best deals available.Suppliers
Find your future clients List your products and services to enhance your web presence and receive qualified enquiries.