Making Embedded Software Safe and Secure
Overview
Attend this webinar to learn how automated static code analysis, using formal methods, helps verify the safety and security of your software projects in Model-Based Design. See how you can avoid late stage issues when integrating functional components produced from generated code and handwritten code.
Using demonstrations, MathWorks engineers Christian (function developer) and Tjorben (software integrator) will show how Polyspace static analysis and formal methods can:
- Find bugs and prove where critical bugs cannot occur in your integrated software
- Meet safety standards (including MISRA, ISO 26262 and DO 178) and document compliance
- Check software security vulnerabilities and standards (such as CWE, CERT-C, and ISO 17961)
Highlights
- Model-based design workflow with automatic code generation
- Static code analysis on generated and handwritten code
- Safety- and Security analysis
About the Presenters
Christian Guss & Tjorben Gross
EMEA Application Engineer for Verification & Validation
Recorded: 30 Nov 2017
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 (한국어)