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
Featured Product
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
Select web siteYou can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
This website uses cookies to improve your user experience, personalize content and ads, and analyze website traffic. By continuing to use this website, you consent to our use of cookies. Please see our Privacy Policy to learn more about cookies and how to change your settings.