Skip to Main Content Skip to Search
Accueil |   France  Choose Country  |  Contacts  |  Cart Boutique 
Créer Un Compte | Log In
Produits et services Industries Le Monde Universitaire Support Communauté d’utilisateurs Société
spacer spacer spacer spacer spacer spacer

 

Evénements - Séminaires

Conception de systèmes embarqués dans l'Aéronautique et la Défense - Rencontre le 16 Février autour de MATLAB & Simulink

En résumé

Au cours de cette rencontre, nous suivrons le flot de l’approche Model-Based-Design afin de voir comment ces outils représentent un nouveau standard pour la conception, l’intégration et la vérification de systèmes embarqués et comment ils facilitent la certification des projets DO-178B et DO-254. Vous verrez quelles bonnes pratiques utiliser lors de vos développements de systèmes aéronautiques complexes pour:

  •   Réduire le nombre de cas de tests afin de valider la robustesse de vos systèmes
  •   Automatiser certaines activités pour limiter les vérifications et tests manuels
  •   Faciliter la certification de vos systèmes aux normes DO-178 et DO-254


Merci de votre intérêt pour les séminaires MathWorks. Aucune date n'est actuellement prévue pour ce séminaire. Pour plus d'informations sur nos séminaires et nos produits veuillez contacter le service des ventes MathWorks ou vous rendre sur:

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

Cette rencontre permettra de couvrir différentes étapes:

  • Concevoir une spécification exécutable à partir d’un document d’exigences et lier ce document à l’implémentation C ou HDL
  •  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 valider la robustesse de l’algorithme à modéliser
  • Générer du code C et vérifier l’absence d’erreurs d’exécution dans ce code, tester votre application sur la cible finale et réutiliser les tests déjà développés en amont
  • Générer du code VHDL/Verilog, utiliser la traçabilité du code dans vos analyses et le vérifier grâce aux tests préalablement mis en place
Programme
8h45 - 9h00

Enregistrement et Accueil
9h00-9h15

Présentation de la société
9h15-10h30

Partie I - Modélisation et vérification de modèle

  • Spécification exécutable
  • Traçabilité des exigences
  • Conformité aux règles de modélisation
  • Tests fonctionnels et rapport de couverture
  • Preuve de propriétés
10h30-11h00

Pause
11h00-12h15

Partie II - Vérification de code

  • Génération automatique de code de production
  • Vérification de l'absence d'erreurs d'exécution
12h15-12h30

Conclusions - Questions et Réponses

Contact commercial
Transmettre cette page
Imprimer cette page