Erreurs en arithmétique des ordinateurs

Publié le 20 juin 2009
Peu illustré
15 - 30 minutes

Il est très difficile d’écrire un très gros programme informatique sans laisser au moins une erreur à l’intérieur. Heureusement, les erreurs sont souvent soit facilement détec­ta­bles (et donc vite corrigées), soit peu dange­reuses. Il arrive hélas parfois qu’une erreur pouvant avoir des conséquences graves passe inaperçue lors des tests du programme. Ceci peut être particulièrement préoccupant lorsque l’erreur est localisée dans l’un des programmes ou des circuits qui effectuent les opérations arithmétiques en machine : en effet, ces programmes ou ces circuits sont utilisés très souvent, par de nombreux logiciels, et parfois dans ce qu’on appelle des applica­tions « critiques », comme le contrôle d’un véhicule ou d’un processus potentiellement dangereux. Bien entendu, les erreurs dangereuses ne sont pas toutes arithmétiques, mais c’est sur celles-ci que nous nous concentrerons.

Lire l’article en ligne

ÉCRIT PAR

Vincent Lefèvre

Chercheur - Inria

Jean-Michel Muller

Directeur de recherche - CNRS, ENS Lyon

Partager