Logo
Make Your High-Integrity Code Safe and Secure

On-demand webcast:
Aired live: August 16, 2017 02:00 PM EDT

Attend this webcast to learn how to verify the quality, reliability, and security of high-integrity software. You’ll learn to do this thoroughly and efficiently using automated static code analysis based on formal methods.

After describing the problem and putting together a roadmap for success, MathWorks engineers will provide an overview of the Polyspace tool, followed by discussion and Q&A. Attend this webinar to learn how to::
  • Find bugs and prove where critical bugs cannot occur (without test cases or instrumentation)
  • Meet safety standards (including MISRA, ISO 26262, and DO-178) and document compliance
  • Check software security vulnerabilities and standards (such as CWE, CERT-C, and ISO 17961)
  • Satisfy regulatory authorities (FAA, FDA) with certified / qualifiable tools and certification artifacts
Discover why development teams around the world have adopted Polyspace to verify high-integrity code – including Airbus/ESA, Alenia Aermacchi, EADS, Korean Air, NASA Ames, NATO Hawk, and Solar Impulse.

Speaker:
Jeff Chapple, Senior Application Engineer, MathWorks

Moderator:
Brandon Lewis, OpenSystems Media
 If you have previously registered for this event, please login below:
 Email
 LOGIN

Registration is required to attend this event. Please register now.
Email*
First Name*
Last Name*
Title*
Company*
Street Address Line 1*
City*
State*
Zip*
Country*
Work Phone*
Click here to subscribe to the Embedded Daily eNewsletter, the industry’s most comprehensive roundup of embedded news, products, and technologies. 
You must have Javascript and Cookies enabled to access this webcast. Click here for Help.

Privacy Policy
 
Please enable Cookies in your browser before registering for the webcast.
 
*Denotes required.