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:
Sélectionner un site web
Choisissez un site web pour accéder au contenu traduit dans votre langue (lorsqu'il est disponible) et voir les événements et les offres locales. D’après votre position, nous vous recommandons de sélectionner la région suivante : .
Vous pouvez également sélectionner un site web dans la liste suivante :
Comment optimiser les performances du site
Pour optimiser les performances du site, sélectionnez la région Chine (en chinois ou en anglais). Les sites de MathWorks pour les autres pays ne sont pas optimisés pour les visites provenant de votre région.
Amériques
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- 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)
Asie-Pacifique
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)