Home > Verimag > Actualités
Why computers that drive planes do not bug when flying?
David Monniaux
Nous sommes habitués à voir "planter" nos logiciels en tout genre. Parfois, ce sont nos "smartphones" ou nos navigateurs GPS qui se bloquent et qu’il faut redémarrer. Les pannes de certaines applications affectent des milliers, voire des millions d’utilisateurs. L’informatique serait-elle donc peu fiable par essence? Pourtant les avions modernes sont très largement pilotés par ordinateur, et il y a très peu d’accidents! Nous expliquerons quelques différences entre l’informatique usuelle et l’informatique des systèmes dits "critiques".
