S'inscrire |
Accueil du site > Webinars > Les logiciels embarqués critiques et la sûreté de fonctionnement

Les logiciels embarqués critiques et la sûreté de fonctionnement

Jeudi 27 septembre 2012 11:00-12:00
Gratuit
Partager : twitter   facebook   technorati   netvibes   linkedin   viadeo   google   delicious   diggit  
  envoyer à un ami : envoyer l'article par mail

Organisateur : Sogeti High Tech

  • Vous êtes ingénieur ou responsable développement, responsable études, responsable méthodes ou responsable de tests.
  • Vous êtes confrontés à des objectifs de réduction du cycle de développement des systèmes et d’optimisation des coûts.
  • Vous souhaitez en connaître plus sur les processus à mettre en place pour des logiciels embarqués robustes et fiables ?

>> Ce webinar s’adresse à vous ! N’attendez pas pour vous inscrire. Le jeudi 27 septembre 2012 - de 11h à 12h

L’inscription est gratuite, mais le nombre de places limité. N’attendez pas pour vous inscrire !

Agenda

  • Introduction : - L’offre Logiciel embarqué de Sogeti High Tech
  • Optimisation des coûts tout au long du cycle de développement et garantie de la robustesse et la fiabilité
  1. Spécification formelle et génération automatique de code
  2. Preuves formelles vs Tests unitaires : quels gains de coûts ?
  3. Un nouveau levier : génération automatique de cas test et qualification des outils
  • Performance et WCET (Worst Case Execution Time)
  1. La méthode statique
  2. La méthode dynamique
  • Passage du DO178B au DO178C
  • ASIL & AUTOSOR : des leviers majeurs pour la fiabilité des calculateurs automobiles
  • Questions / Réponses/ Conclusion

Pour vous inscrire : Sogeti High Tech - Webinar




Accueil | À propos | Comment ça marche ? | Presse | Données personnelles | Mentions légales FAQ