9h - 9h30	Accueil
9h30 - 9h50	Introduction et présentation de l'atelier	M. Kaâniche (LAAS-CNRS)
9h50 - 10h30	Vérification de logiciels avioniques par analyse statique	F. Randimbivololona (AIRBUS France)
10h30 - 11h10	État des lieux et perspectives pour le développement de logiciels embarqués sur satellite	P. Welby (Astrium)
11h10 - 11h30	Pause
11h30 - 12h10	Maîtrise du développement des logiciels de sécurité à Technicatome	J.-M. Tabart (Technicatome)
12h10 - 12h50	B : une méthode de développement de logiciel sûr	L. Pelhate (RATP)
12h50 - 14h	Buffet
14h - 14h40	Définition d'une stratégie de test d'un protocole à méta-objets	J-C. Ruiz Garcia (LAAS-CNRS)
14h40 - 15h40	Discussion générale
15h40 - 16h	Pause
16h - 17h	Synthèse et conclusions