Community events
1. Présentation
3. Logistique
Le Séminaire de fiabilité informatique 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 – autour de quatre exposés invités couvrant quatre thématiques : l’incertitude de localisation, l’arithmétique virgule flottante, les outils de recherche de failles de cybersécurité et les modes de défaillance liés à la programmation.
2. Programme| 10h00 - 10h30 | Accueil-café à la salle de Vinci (CNES Paris-Daumesnil) |
| 10h30 - 10h45 | Ouverture du séminaire par DTS/D (à confirmer) |
| 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) "(titre à confirmer)" et discussion |
| 15h00 - 16h00 | Exposé de Jens Gustedt "Program failure seen from C" (ICube, Université de Strasbourg & INRIA) et discussion |
É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).
Share :
Partage possible par tous (via Facebook, LinkedIn, Twitter, email)
