Votre connexion internet à la maison vient de planter. Votre stress face à des adolescents qui hurlent qu’ils n’ont plus de wifi n’est rien face à l’avalanche d’alertes systèmes que reçoit votre fournisseur d’accès à cet instant. Comment démêler d’où vient la panne, alors que les systèmes sont interconnectés et qu’une défaillance peut se manifester ailleurs qu’à la source du problème ? Tel le médecin, le gestionnaire de systèmes doit faire la part des symptômes, pour soigner la maladie et non sa manifestation, et déduire les causes à partir d’informations incomplètes et chaotiques. Pour aller plus loin, il est parfois possible de faire un diagnostic actif : faire réagir un système pour en déduire son état comme on vérifierait un réflexe en tapant un petit marteau sur un genou.
Mot(s) clés libre(s) : réseaux de télécommunication, méthodes formelles, diagnostic panne

Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure des approximations numériques qui s'effectuent lors d'un calcul numérique au sein d'un logiciel. Elle nous offre à la fois des garde-fous pratiques et une compréhension théorique de la problématique.Cet exposé s'est inscrit dans le cadre d'une formation INRIA proposée en juin 2009 et s'adressait aux professeurs des établissements de l'académie de Versailles proposant l'option Informatique et Objets Numériques à leurs classes de seconde pour l'année scolaire 2009-2010.
Mot(s) clés libre(s) : algorithmique, arithmétique flottante, bug, calcul informatique, méthode formelle, nombre à virgule flottante, preuve de programme, vérification de logiciel