Skip to Main Content Skip to Search
Home |   Select Country  Choose Country  |  Contact Us  |  Cart Store 
Create Account | Log In
Products & Services Industries Academia Support User Community Company

 

Events - Seminars

PolySpace Code Verification for Hand-Written and Automatically Generated CodeNew


Seminar Overview

PolySpace™ is a code verification solution that proves the absence of errors in your source code. The product detects software errors and helps increase confidence in code reliability without requiring program execution or instrumentation. With PolySpace, software engineers are easily able to verify hand written and automatically generated code or a combination of both.

Discover how proving the absence of run-time errors fits into the overall processes of achieving software quality. Understand the differences between bug-finding tools and code verification products. Attend this working session to see verification results from PolySpace and how code verification can fit into your development workflow.


Thank you for your interest in MathWorks Seminars. There are no dates currently scheduled for this Seminar. For more information on our seminars and products contact MathWorks sales or please visit:


Who Should Attend

Familiarity with MathWorks™ products is not required. This seminar is ideal for anyone involved with software development in C/C++ or Ada and those interested in both improving reliability and controlling it or involved in outsourcing development, including:

  • Software designers
  • Software developers
  • Project managers
  • Quality engineers

Seminar Highlights

Through examples and hands-on exercises, MathWorks engineers will show you how to:

  • Verify your C/C++ code
  • Understand PolySpace results using examples
  • Produce metrics and reports to control, monitor, and improve the development process
  • Ease certification and integration into Model-Based Design
  • Learn the impact of false negatives and false positives on the software development process
Agenda
8:00 a.m.

Registration and Continental Breakfast

8:30 a.m.

Product Overview and Key Features Demo

9:30 a.m.

Bug-Finding Tools Versus Code Verification

10:00 a.m.

Break

10:30 a.m.
Group Exercise:
  • Working with PolySpace results
  • Implications of leaving or fixing run-time errors
  • Examples of technical problems software developers are dealing with
11:00 a.m.
Model-Based Design and Automatic Code Generation: Connection to Simulink®, Real-Time Workshop® Embedded Coder™, dSPACE® TargetLink®, and Telelogic® Rhapsody®
11:30 a.m.

Summary, Next Steps, Questions and Answers


 
Contact sales
Print this page