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.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00598554
Contributor : Marie-Annick Guillemer <>
Submitted on : Monday, June 6, 2011 - 5:17:38 PM
Last modification on : Thursday, February 7, 2019 - 3:05:44 PM
Long-term archiving on : Monday, December 5, 2016 - 4:26:08 AM

File

Erreurs_en_arithmA_tique_des_o...
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

475

Files downloads

131