Electronique Mag - Le journal de l'électronique.

L’objectif de cette rencontre sera de partager bonnes pratiques et exemples concrets permettant d’éliminer les changements de langages (texte, modèle, code…) qui existent souvent lors de la conception de modèles complexes et d’en améliorer la qualité finale. Cette matinée suivra le flot de l’approche Model-Based-Design depuis le traitement des données, la définition des exigences fonctionnelles jusqu’à la génération et la revue de code, et démontrera comment intégrer les notions de vérification et validation tout au long du cycle de développement de modèles.

The MathWorks expliquera comment :

• Construire une spécification exécutable à partir d’un document d’exigences et lier ce document à l’implémentation

• Automatiser les tests fonctionnels pour obtenir un rapport de couverture du modèle selon les métriques de condition, décision et MCDC.

• Utiliser la preuve formelle pour la recherche d’événements redoutés et afin de valider la robustesse de l’algorithme modélisé.

• Générer du code C et vérifier l’absence d’erreurs d’exécution sur le code généré, pour tester l’application sur la cible finale et réutiliser les tests déjà développés en amont.

Le 12 mai 2009 de 9h à 12h A l’Hôtel Hilton La Défense 2 Place de la Défense, Paris La Défense

Public concerné :

• Equipes de développement et de spécification

• Ingénieurs système et logiciels

• Ingénieurs tests

• Chefs de projet

Points forts du séminaire :

The MathWorks mettra l’accent sur l’influence du standard DO-178B sur cette approche de développement à base de modèles et comment certaines activités de vérification et de validation peuvent répondre aux exigences de cette norme essentielle pour un développement de qualité de systèmes critiques.

INSCRIPTION AU SEMINAIRE ET AGENDA : http://www.mathworks.fr/company/eve...

http://www.mathworks.com