9h30 - 10h00	Accueil
10h00 - 10h15	Introduction et présentation de l'atelier	Yves Crouzet  (LAAS-CNRS)
10h15 - 11h45	Session 1   --   Modérateur : Gérard Ladier (Airbus France)
10h15 - 10h45	Microprocesseurs spatiaux : contraintes et perspectives	Luc Planche, Marc Le Roy, Christian Boleat (Astrium)
10h45 - 11h15	Neutrons atmosphériques en avionique	Gérard Colas (Thales Avionics)
11h15 - 11h45	Architecture des processeurs et vérification de contraintes de temps-réel strict	Isabelle Puaut (IRISA)
11h45 - 12h00	Pause
12h00 - 13h00	Session 2   --   Modérateur : Jean-Pierre Auclair (JPA Consultant)
12h00 - 12h30	Génération de fautes par impulsions optiques dans les circuits intégrés. Etude de la sûreté de fonctionnement des systèmes complexes embarqués	Jacques Henri Collet (LAAS-CNRS)
12h30 - 13h00	Stratégie de prédiction du taux d'erreur dues aux radiations pour les architectures numériques	Raoul Velazco (TIMA)
13h00 - 14h00	Déjeuner
14h00 - 15h30	Session 3   --   Modérateur : Philippe David (ESA)
14h00 - 14h30	Stratégie de choix d'un processeur pour applications embarquées safety-critical	Stéphane Lautier (Technicatome)
14h30 - 15h00	Test de logiciels embarqués dans un environnement de simulation généralisée	Famantanantsoa Randimbivololona (Airbus France)
15h00 - 15h30	Environnement de test temps-réel pour architecture à base de microprocesseur LEON	Yves Dufrenne (Astrium)
15h30 - 15h45	Pause
15h45 - 16h45	Session 4   --   Modérateur : Jean Arlat (LAAS-CNRS)
15h45 - 16h15	Architectures CNES tolérantes aux fautes pour pouvoir utiliser des composants COTS électroniques dans les applications spatiales bord	Michel Pignol (CNES Toulouse)
16h15 - 16h45	Principes de durcissement aux radiations par conception - le cas du processeur LEON (*) * documentations complémentaires sur processeur LEON	André Pouponnot (ESA)
15h45 - 16h45	Session 5   --   Modérateur : François Rodet (Technicatome)
	Discussion - Actions futures