image-course

Tests et vérification des systèmes embarqués

Pour comprendre la vérification et le test de systèmes embarqués, qui sont des aspects cruciaux et d’importance croissante dans le développement de systèmes embarqués hétérogènes.


Objectifs du cours

Les systèmes embarqués sont au cœur de la transformation numérique de nombreuses applications industrielles, comme en témoigne la croissance phénoménale du nombre d’objets connectés autour des personnes, dans le domicile et dans les loisirs, dans les entreprises et les usines, ou dans les transports de biens et de personnes.

La réalisation d’un système embarqué se heurte facilement à la difficulté de détecter et corriger des bugs présents dans le logiciel ou le firmware. De plus en plus de développements impliquent des systèmes numériques sur FPGA, du logiciel embarqué, de la communication et du logiciel PC. Il est dès lors délicat d’identifier les problèmes et de garantir le bon fonctionnement d’un système complet.

Dans ce cadre la vérification et le test de systèmes sont deux éléments cruciaux à mettre en place. Ils sont les seuls moyens de fiabiliser le produit final et doivent être mis en place dès le début du développement, en exploitant la bonne méthodologie. Ce cours vise donc à présenter les tenants et aboutissants de la vérification ainsi que les méthodologies pouvant être exploitées tant pour le logiciel que le firmware.

A la fin du cours, les participants seront en mesure de :

  • Connaitre la différence entre la vérification et les tests.
  • Comprendre les enjeux de la vérification.
  • Choisir une méthodologie de vérification en fonction du type de système à développer.

Ce cours peut être suivi de manière autonome, mais fait partie d'un ensemble de trois cours sur les systèmes embarqués:

  1. System on Chip sur FPGA
  2. Environnement logiciel dans les systèmes embarqués communicants
  3. Tests et vérification des systèmes embarqués

Public cible

Ce cours s'adresse aux cadres, chefs de projets ou de produits, et aux ingénieurs en charge de mener à bien le développement d’un tel système embarqué (logiciel et firmware FPGA).

Contenu

  • Introduction et tour de table.
  • Introduction aux enjeux de la vérification et des tests.
  • Plan de vérification.
  • Vérification du firmware FPGA : méthodologies.
  • Vérification formelle : quand et comment l’utiliser.
  • Vérification du système complet : outils à disposition.
  • Vérification/tests des systèmes communicants.
  • Discussion.

inscription

Ce cours n'est pas agendé en ce moment. Veuillez nous contacter en cas d'intérêt


» Contactez-nous !

Dès 5 personnes interessées, nous vous contacterons pour chercher une date qui vous convient.

informations

Durée

1 jour

Coût

Prix early bird : 690.00
Prix normal : 890.00

Langue du cours

Enseignant(s)
teacher 1

Yann Thoma