Erreurs en arithmétique des ordinateurs

Vincent Lefèvre 1 Jean-Michel Muller 1
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Résumé : 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étectables (et donc vite corrigées), soit peu dangereuses. 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 applications " 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.
Type de document :
Article dans une revue
Images des Mathématiques, CNRS, 2009
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00598554
Contributeur : Marie-Annick Guillemer <>
Soumis le : lundi 6 juin 2011 - 17:17:38
Dernière modification le : vendredi 29 septembre 2017 - 13:44:04
Document(s) archivé(s) le : lundi 5 décembre 2016 - 04:26:08

Fichier

Erreurs_en_arithmA_tique_des_o...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00598554, version 1

Collections

Citation

Vincent Lefèvre, Jean-Michel Muller. Erreurs en arithmétique des ordinateurs. Images des Mathématiques, CNRS, 2009. 〈hal-00598554〉

Partager

Métriques

Consultations de
la notice

399

Téléchargements du document

95