MATLAB and Simulink Training

Course Schedule

Prerequisites

Strong knowledge of C or C++

Polyspace for C/C++ Code Verification

This three-day course discusses the use of Polyspace® Code Prover to prove code correctness, improve software quality metrics, and ensure product integrity. This hands-on course is intended for engineers who develop software or models targeting embedded systems. Topics include:

  • Creating a verification project
  • Reviewing and understanding verification results
  • Emulating target execution environments
  • Handling missing functions and data
  • Managing unproven code (color-coded in orange by Polyspace products)
  • Applying MISRA-C® rules
  • Reporting analysis results

See detailed course outline.


Course Schedule

Results 1 - 11 of 11
Dates Location Language Price Register
25 mrt 2019-
26 mrt 2019
US, Michigan, Novi English USD 1.500
09 mei 2019-
10 mei 2019
Germany, München (Ismaning) German EUR 1.400
28 mei 2019-
29 mei 2019
China, 上海 Chinese CNY 6.000
17 jun 2019-
18 jun 2019
US, Michigan, Novi English USD 1.500
27 jun 2019-
28 jun 2019
India, Bangalore English INR 30.000
08 aug 2019-
09 aug 2019
Online
9:00 a.m. - 5:00 p.m. US Eastern Daylight Time
English USD 1.500
11 sep 2019-
12 sep 2019
Germany, Aachen English EUR 1.400
03 okt 2019-
04 okt 2019
France, Paris (Meudon) French EUR 1.400
28 okt 2019-
29 okt 2019
US, Michigan, Novi English USD 1.500
05 nov 2019-
06 nov 2019
China, 北京 Chinese CNY 6.000
28 nov 2019-
29 nov 2019
India, Bangalore English INR 30.000
Results 1 - 11 of 11

The pricing applies for purchase and use in United States, For pricing in other regions Contact Sales. The product price does not include sales, use, excise, value-added, or other taxes. Any applicable taxes, duties, levies, assessments and governmental charges payable in connection with this purchase will be assessed on the order. Refer to Training Policies for more information