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: