Polyspace Model Link SL (for Simulink)
Trace Polyspace results to Simulink models
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.
Polyspace® Model Link™ SL extends Polyspace® Client™ for C/C++ and Polyspace® Server™ for C/C++ products 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 software, you work in the Simulink environment to verify C code generated by the Embedded Coder™ product. You can verify a mix of generated and hand-written code before it is compiled.
