Recorded Webinar: PolySpace Products for Simulink Users: Code Generation and Code Verification

Complete this request form for immediate access to this webinar and other recorded webinars

This webinar presents an overview of code verification within Model-Based Design. Viewers will learn how code verification fits within the overall Verification and Validation framework of Model-Based Design and includes integration of software developed manually with automatically generated code. They will also learn how component verification can allow gaining confidence in the software.

Webinar highlights include:

• Which type of problems manifest themselves into run-time errors in the code
• How to find run-time errors and MISRA violations in the automatically generated code
• How to trace errors back to the model
• Parallels between coding rules and properties at the model and code level

This webinar is primarily intended for Simulink users who automatically generate production code using products such as Real-Time Workshop® Embedded Coder, and developers in C/C++ planning to adopt code generation for future developments.

Product Focus

PolySpace™ Client for C/C++
PolySpace™ Server for C/C++
PolySpace™ Model Link SL
PolySpace™ Model Link TL
Real-Time Workshop® Embedded Coder

This webinar was recorded on 12 Jun 2008

Duration: 55 Minutes

Contact Information

*Country/Region

Salutation

*First Name

Middle Name

*Last Name

Job Title

Department

Mail Stop

*Company / University

*Street Address 1

Street Address 2

*City

*State

*Zip Code

*Email

*Phone

Extension

Fax

Mobile Phone

Other Information

Are you a MATLAB user?

Yes

Are you a Simulink user?

Yes

Which best describes your application?

Which best describes your industry?

Are you seeking further information on MathWorks products?

Yes

Are you seeking further information on pricing?

Yes

We will not sell or rent your personal contact information. See our privacy policy for details.