8 h30	Accueil café
9 h00-11 h15	Introduction et approbation du compte-rendu précédent Systèmes bord dans le domaine spatial (P. David, Astrium) Wrapping pour le confinement d'erreurs (M. Rodriguez-Moreno, LAAS-CNRS)
11 h15-11h30	Pause
11h30-12h30	Architectures logicielles embarquées dans le domaine avionique, problèmes liés à leur certification (S. Goiffon, Airbus)
12H30-13h30	Déjeuner
13h30-15 h30	Mise à jour du planning des prochaines réunions, et identification des contributions Méthodes formelles pour la vérification (B. Bérard, LSV) Synthèse du thème "architecture et validation"