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:
Website auswählen
Wählen Sie eine Website aus, um übersetzte Inhalte (sofern verfügbar) sowie lokale Veranstaltungen und Angebote anzuzeigen. Auf der Grundlage Ihres Standorts empfehlen wir Ihnen die folgende Auswahl: .
Sie können auch eine Website aus der folgenden Liste auswählen:
So erhalten Sie die bestmögliche Leistung auf der Website
Wählen Sie für die bestmögliche Website-Leistung die Website für China (auf Chinesisch oder Englisch). Andere landesspezifische Websites von MathWorks sind für Besuche von Ihrem Standort aus nicht optimiert.
Amerika
- América Latina (Español)
- Canada (English)
- United States (English)
Europa
- 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)
Asien-Pazifik
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)