Medical Device software engineers are increasingly looking at the iterative and incremental approach of agile practices to speed up their software development while balancing seemingly contradictory regulatory goals such as requirements traceability and rigorous documentation.

The primary goal of medical device safety regulation is to identify and mitigate safety risks to patients and users. To meet this goal in an agile workflow, medical device software engineers are introducing formal verification techniques to prove the run-time correctness of the code that address the gaps in a test-driven software development.

In this webinar you will see how Polyspace static analysis tools can be applied in an agile workflow to develop medical device software free of critical run-time errors and defects.  

You will learn to:

• Detect and eliminate bugs within each iteration
• Identify dead-code and prove the absence of run-time errors
• Continuously enforce MISRA and custom coding rules
• Track and document code quality metrics continuously

Who Should Attend:

• Medical Device Software developers
• Quality engineers and QA managers
• Software safety and reliability engineers
• Verification and validation engineers
• Anyone interested in avoiding critical run-time errors and defects

Familiarity with MathWorks products is not required.

About the Presenter: Matt Rhodes is an Application Engineer at MathWorks focusing on Polyspace code verification products.