PolySpace Model Link SL 5.5

for Simulink

Introduction to Code Verification with PolySpace Products   6:35

In this video demonstration, we give a brief overview of the code verification process with PolySpace products.

PolySpace Code Verification for Fuel Rate Controller Model  

In this demonstration, you will learn how PolySpace code verification products prove code correctness, find run-time errors.

Verifying Mixed Generated and Hand Code   8:39  

In this demonstration, we show how you can use PolySpace products to verify C code from a controller model that has a mix of handwritten and automatically generated code.

Understanding the Design of C/C++ Code with PolySpace Products   3:51  

In this demonstration, we show two features that enable you to understand the design of your C/C++. The ToolTip feature gives you information about data ranges, while the data flow graph gives you a visual representation of the data dictionary and control flow.

Integration of PolySpace for Eclipse   2:31  

In this demonstration, we show how you can use the PolySpace plug-in for Eclipse to ease your workflow during the setup and launching phase. We show you can launch PolySpace products on projects, components, files, and classes. You can also trace errors such as those related to compilation, JSF++, and MISRA C to source files.

Integration of PolySpace in Microsoft Visual Studio   1:22  

In this demonstration, we show how you can use the PolySpace plug-in for Microsoft Visual Studio to ease your workflow during the setup and launching phase. We show you can launch PolySpace products on projects, components, files, and classes. We also show how the cross-compiler flags and header files are taken automatically into account.