Polyspace: Eliminating Runtime Errors in Critical Embedded Software
This webinar introduces the Polyspace code verification tool for achieving robust software quality.
Polyspace uses a unique formal-method based static code analysis approach called abstract interpretation. The method makes it possible to find errors that other techniques can miss. Through demonstrations and examples, MathWorks engineers will show how Polyspace helps detect errors in embedded software and prove that the software contains no run-time errors.
Polyspace allows you to:
- Detect difficult to find run-time errors in C/C++/Ada code
- Address DO-178B/C, ISO 26262, IEC 61508 certification
- Reduce test and verification cycles
- Track software quality metrics
We also provide you with an update on the new features available in the latest version of Polyspace.
Recorded: 11 May 2012
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 (한국어)