Objectif du séminaire
Ce séminaire gratuit ouvert à tous est dédié à la certification des systèmes avioniques.
Cet exposé, accessible à tous sans connaissance particulière préalable, va pour la première fois combiner la présentation de deux experts d'Airbus en analyse de sécurité et architecture des systèmes critiques et en aspects logiciels de la certification, pour donner une réponse à cette question que tout passager s'est un jour (ou à chaque fois...) posé : comment peut-on avoir confiance dans les systèmes critiques pour la sécurité des vols, pilotés par des millions de lignes de logiciel, alors qu'on ne compte plus les bugs et les plantages "système" auxquels tout usager de "systèmes informatiques personnels" est régulièrement confronté ?

Programme
14h-14h15 Introduction - Gérard Ladier
14h15 - 14h45 Analyse de sécurité des systèmes - Pascal Traverse
Questions
15h-15h45 Certification des logiciels - Gérard Ladier
Questions

Inscription
Cette journée est gratuite et ouverte à tous. Pour des raisons de logistique, merci de confirmer votre participation à Joëlle Huneau Cette adresse email est protégée contre les robots des spammeurs, vous devez activer Javascript pour la voir. avant le 24 avril 2008.
Pensez à vous munir d'une pièce d'identité pour pouvoir accéder au grand auditorium.

Pour recevoir le compte-rendu de cette journée et être informé des activités du club, il suffit de s'abonner à la liste de diffusion électronique du club. La procédure d'abonnement est accessible depuis http://ml.enseeiht.fr/wws/info/cisec

Horaires : de 14h00 à 17h00
Date : Mardi 29 avril 2008
Lieu : ONERA - 2, avenue Edouard Belin- 31055 TOULOUSE Grand auditorium
Accès : http://www.onecert.fr/fr/cert/gotocert.html