Error-Free Proving of Embedded Software in CI/CD Workflow with Static Code Analysis

Overview

Pressure to shorten time to market of critical embedded systems such as flight control, medical devices or autonomous driving has forced software engineering teams to move from waterfall to Agile development process. Agile is an iterative software development process that places importance on collaboration, continuous planning, continuous feedback and continuous testing. The objective is to shorten the customer feedback loop in order to faster develop higher quality products.

To support Agile development, Continuous Integration and Delivery (CI/CD) is an essential method, supported by different tools, that is mainly focused on automatically integrating, testing and delivering of the software. As for software testing, code checking must be integrated into the CI workflow in order to detect code quality and security issues as soon as possible, and to keep software quality, safety and security aligned with industry standard requirements.

Highlights

In this webinar, we will demonstrate:

1. How to continuously prove robustness correctness of critical embedded software by integrating to Polyspace Code Prover’s (using formal methods) into CI build.
2.  How to help software developers detecting code quality, standard adherence (MISRA, CERT-C) and security flaws as soon as possible by using Polyspace Bug Finder’s static and semantic before submitting their code.
3. How to monitor software code quality trends and enforce Software Quality Objectives using Polyspace Access products during software development life cycle.

About the Presenter

Prashant Mathapati, Principal Application Engineer, MathWorks

Prashant Mathapati is a principal application engineer at MathWorks India specializing in signal processing and embedded code analysis and verification. He has over eight years of experience in the role. Prior to joining MathWorks, Prashant worked for Trident Infosol and Programming Research as a senior field AE handling products in the signal processing and verification tools domains. He holds a bachelor’s degree in electrical and electronics engineering from Visvesvaraya Technological University (VTU), Karnataka.