9h00- 9h15	Accueil
9h15 - 9h20	Introduction et présentation de l'atelier	M. Kaâniche (LAAS-CNRS)
9h20 - 10h	Sûreté de fonctionnement : point de vue du régulateur sur les concepts, modèles et méthodes de démonstration	P.-J. Courtois (AVN)
10h - 10h40	Le Do-178B : logique, historique, contenu et application	Gérard Ladier (Airbus France)
10h40 - 11h10	Pause
11h10 - 11h50	Justification de sûreté de fonctionnement des logiciels spatiaux : Évolution vers la certification	J.-P. Blanquart, J. F. Muller (Astrium)
11h50 - 12h30	Contraintes et processus de qualification du projet Galileo	V. Magnier (ESA)
12h30 - 13h30	Buffet
13h30 - 14h10	Processus d'étude de sécurité pour la certification du système de protection HGV de signalisation ferroviaire	V. Lalumia (Technicatome)
14h10 - 14h50	Intégration des justificatifs de sécurité (safety case) dans une démarche globale de mise en service	Y. Garnier (SNCF)
14h50 - 15h30	Composants COTS et sûreté de fonctionnement	J. Arlat (LAAS-CNRS)
15h30 - 16h00	Pause
16h - 17h	Autres interventions, synthèse et conclusions