Séminaires

Vos applications embarquées sont-elles réellement fiables et sécurisées ?

Ville:
Meudon
Lieu:
MathWorks
Date:
28 avril 2017
Heure:
08:30 – 12:30

Présentation

Vous développez du code embarqué C/C++ ou êtes tout simplement concerné par la qualité du code produit dans votre organisation ? Participez à cet atelier pratique d'une demi-journée durant lequel vous expérimenterez les outils Polyspace sur de véritable applications industrielles.

Points forts

Là où le test échoue la plupart du temps à mettre en évidence les failles et défauts logiciels, vous verrez comment l'analyse statique vous aide à:

  • Détecter et corriger des bugs dès la phase d'implémentation (failles de sécurité, problèmes de mémoire statique/dynamique, accès concurrents, etc.)
  • Se conformer à des standards éprouvés par de nombreux industriels (CERT C, MISRA, etc.)
  • Gagner en confiance sur vos modules les plus critiques (preuve d'absence d'erreurs)
  • Documenter et suivre la qualité logicielle tout au long du processus de développement

Possibilité de travailler en séance sur votre propre code (C/C++), informations spécifiques à suivre pour les inscrits.

Evènement gratuit / Nombre de places limité.

Public concerné

Cet évènement s’adresse à toute personne concernée par la fiabilité et la sécurité des applications embarquées : développeurs, ingénieurs qualité, chef de projet, etc.

Programme

Heure Thème
08:30 Accueil des participants
09:00 Introduction
09:15
  • Détection et correction de défauts logiciels
  • Conformité à des standards de codage
10:45 Pause
11:00
  • Preuve d’absence d’erreurs
  • Documentation et suivi de qualité
12:30 Conclusion et cocktail