Securización de código en desarrollo de software con Mathworks - Seguridad Mania.com - España y América Latina

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.