Developing Medical Device Software with Zero Bugs
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.
Recorded: 29 May 2014
Featured Product
Polyspace Bug Finder
Up Next:
Related Videos:
웹사이트 선택
번역된 콘텐츠를 보고 지역별 이벤트와 혜택을 살펴보려면 웹사이트를 선택하십시오. 현재 계신 지역에 따라 다음 웹사이트를 권장합니다:
또한 다음 목록에서 웹사이트를 선택하실 수도 있습니다.
사이트 성능 최적화 방법
최고의 사이트 성능을 위해 중국 사이트(중국어 또는 영어)를 선택하십시오. 현재 계신 지역에서는 다른 국가의 MathWorks 사이트 방문이 최적화되지 않았습니다.
미주
- América Latina (Español)
- Canada (English)
- United States (English)
유럽
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
아시아 태평양
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)