Verimag

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".


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1004429