1. Présentation
Quatre grands experts viennent nous parler de la localisation des lanceurs, de l’arithmétique virgule flottante, des outils de recherche de failles en cybersécurité et des modes de défaillance dus à la programmation. Le Séminaire de fiabilité informatique organisé par la Direction du Transport Spatial du CNES est un lieu d’échange – entre ingénieurs et chercheurs, l’informatique et les autres disciplines, le secteur spatial et d’autres secteurs à systèmes critiques.
2. Programme
| 10h00 - 10h30 | Accueil-café à la salle de Vinci (CNES Paris-Daumesnil, 52 rue Jacques Hillairet) |
| 10h30 - 10h45 | Ouverture du séminaire |
| 10h45 - 11h45 | Exposé de Philippe Miramont (CNES DTN) "Kassav1 – Localization for Safety" et discussion |
| 11h45 - 12h45 | Exposé de Jean-Michel Muller (CNRS) "Apporter de la confiance aux calculs en arithmétique virgule flottante" et discussion |
| 12h45 - 14h00 | Pause déjeuner : cantine Daumesnil + café servi dans la salle de Vinci |
| 14h00 - 15h00 | Exposé de Sébastien Bardin (CEA List) "Analyse de programmes pour la sécurité : quid de l’attaquant ?" et discussion |
| 15h00 - 16h00 | Exposé de Jens Gustedt (ICube, Université de Strasbourg & INRIA) "Program failure seen from C" et discussion |
3. Logistique
Événement à Paris-Daumesnil le 26 sept. 2024, la salle Vinci a été réservée pour cette date, sa capacité est de 96 personnes.
Un duplex sera organisé avec le CST (salle CréaLab, capacité 70 personnes).
Une participation en distanciel sera également possible bien que non optimale.
Les inscriptions sont ouvertes
Pour inscription à Daumesnil après le 13/09 merci de contacter DCS2024@cnes.fr
Partager :
