Model-Based Design : Gagnez en qualité grâce à un processus complet de vérification & validation

Type d'événement Début Heure de fin
Webex 28 juillet 2020 - 10:00 AM CEST 28 juillet 2020 - 12:00 PM CEST

Vue d’ensemble

Qu'il soit critique ou accessoire, soumis ou non à des contraintes normatives, tout système embarqué mérite d'être testé et vérifié avant sa mise sur le marché. Les manquements à cet égard se paient généralement cher, alors que les efforts de vérification sont rémunérateurs en termes de qualité.

En plus des facilités d'exploration et de prototypage, la plateforme Simulink® offre un cadre propice à la vérification exhaustive des algorithmes embarqués qu'elle permet de concevoir.

Durant ce séminaire, nous parcourrons le panel de techniques donnant aux ingénieurs le moyen d'accroitre la confiance qu'ils placent dans leurs modèles ainsi que dans le code qui en est issu. 

Cette web conférence sera aussi l’occasion de poser vos questions à nos experts en Vérification & Validation de modèles et en vérification de code.

Points forts

Vérification et validation des modèles

  • Traçabilité avec les exigences
  • Test dynamique et gestion des régressions
  • Couverture des modèles par les tests
  • Détection d'erreur par l'analyse statique
  • Preuve formelle d'exigences

Analyse statique de code

  • Analyse du code généré : motivations
  • Intégration de l'analyse statique de code avec Simulink
  • Recherche de bugs et remontée à la source
  • Conformité à des standards (MISRA ou autres)
  • Robustification des modèles

You are already signed in to your MathWorks Account. Please press the "Submit" button to complete the process.