En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies pour vous proposer des contenus et services adaptés à vos centres d'intérêts. En savoir plus et gérer ces paramètres. OK X
 
 

 

 

Actualité des entreprises

Rencontre aéronautique et défense sur la conception de systèmes

Publication: Mai 2009

Partagez sur
 
Rencontre Aéronautique et Défense : une méthodologie différente pour la conception de Systèmes ?...
 

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

Suivez Electronique Mag sur le Web

 

Newsletter

Inscrivez-vous a la newsletter d'Electronique Mag pour recevoir, régulièrement, des nouvelles du site par courrier électronique.

Email: