PolySpace™ Model Link™ SL (for Simulink®) 5.1.1

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 Real-Time Workshop® Embedded Coder™ product. You can verify a mix of generated and hand-written code before it is compiled.