Appel aux lecteurs : auriez-vous entendu parler de morts, ou du moins d'accidents des graves, dus à des bugs logiciels, et qui ne seraient pas déjà parmi ceux répertoriés dans l'introduction de mon HDR ?

(Pour mémoire, je comptais : les accidents de radiothérapie du Therac-25, ceux arrivés au Panama suite à la mauvaise utilisation d'un logiciel de calibration un peu buggué, les morts dus au mauvais fonctionnement d'un missile Patriot en raison d'une accumulation d'erreurs flottantes.)

Récemment, on m'a parlé d'accidents aux USA avec des pompes à injection informatisées ayant abouti à de ce que la FDA ait imposé l'usage de l'analyseur statique Coverity...