Matt Rhodes, MathWorks
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:
Who Should Attend:
Familiarity with MathWorks products is not required.
About the Presenter: Matt Rhodes is an Application Engineer at MathWorks focusing on Polyspace code verification products.
Recorded: 29 May 2014