Cybersecurity for your C and C++ Embedded Software with Advanced Static Code Analysis

Overview

Embedded software is at the heart of many applications in our daily lives, like automobiles, phones, and medical devices. We expect these systems to work reliably under all possible conditions, to support and assist us. However, their reliability has become a major concern with the growing number of cyberattacks observed on embedded systems. To keep users and data safe and secure, designers must identify potential vulnerabilities early, and built resilience into these systems.

In this webinar we will show how you can leverage static code analysis based on formal methods to achieve superior quality for your C and C++ code, how to obtain hard evidence of cybersecurity properties, and how to reduce your fuzz testing efforts.

Attendees will learn how to

• avoid vulnerable patterns (CWE, CERT) and improve their secure coding skills
• obtain a formal proof of robustness -- no bugs and vulnerabilities missed
• find the right amount of defensive coding for given assumptions and trust context
• set, track, and enforce software quality goals in their team
• automate and optimize your verification process

About the Presenters

Martin Becker is a field application engineer for verification and validation workflows at MathWorks. He is an advocate of formal methods and static analysis, with more than 15 years of experience in embedded systems. In his daily work, he is supporting customers in a wide range of industries to efficiently produce embedded software while meeting safety and security standards. Prior to MathWorks, he worked as avionics concepts engineer at Airbus, as research engineer at Tata Consultancy Services, and completed a PhD (Dr.-Ing.) in the domain of real-time computer systems at Technical University of Munich.

Skanda Ramamurthy is a field application engineer for Polyspace at MathWorks. He is supporting technical aspects of Polyspace and related workflows, with about 6 years of experience in C/C++ software development for embedded systems. In his daily work, he is supporting customers in a wide range of industries to effectively use Polyspace in the workflows and to achieve concerned quality objectives. Prior to MathWorks, he worked as automotive Application Software Engineer at Continental Automotives Pvt Ltd, as research associate at IAV GmbH and MAN Trucks & Bus SE, and Software Engineer for Autonomous cars at Basemark GmbH.