 |
 |
|
|
| HAL : hal-00598554, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| Images des Mathématiques (2009) .. |
|
|
|
|
| Erreurs en arithmétique des ordinateurs |
|
|
| Vincent Lefèvre 1Jean-Michel Muller 1 |
|
|
| (20/06/2009) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | ARENAIRE (Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme) |
|
|
|
INRIA – CNRS : UMR5668 – Université Claude Bernard - Lyon I – École Normale Supérieure - Lyon |
|
|
|
|
|
|
|
|
|
| Domaine | : | Mathématiques/Mathématiques générales |
|
|
| Algorithmes arithmétiques – Virgule flottante – Dilemme du fabricant de tables |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00598554, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00598554 | |
| oai:hal.archives-ouvertes.fr:hal-00598554 | |
| Contributeur : Marie-Annick Guillemer | |
| Soumis le : Lundi 6 Juin 2011, 17:17:38 | |
| Dernière modification le : Jeudi 7 Février 2013, 14:01:22 | |
