La surete de fonctionnement des logiciels? Oui, mais pas sans reflexion

摘要

"Maitriser la fiabilite et la securite des systemes programmes et des logiciels", tel etait le theme d'une conference organisee en juin demier a Paris par Bureau Veritas. Au centre des debats, les principes et les specificites de la demarche, mais aussi les difficultes inherentes au logiciel. Car si les outils d'analyse des risques sont legion, les methodes mises en oeuvre sur le terrain sont encore parfois inefficaces. Pour bien faire, il faut garder en memoire que la surete de fonctionnement d'un logiciel est un processus rigoureux de developpement, et qu'aucun outil mathematique ne peut remplacer la reflexion que l'on conduit en debut de projet. Base de Kourou, 4 juin 1996.Apres a peine 37 secondes de vol, le lanceur Ariane 5 devie de sa trajectoire et explose. Quatre satellites destines a l'etude de la magnetosphere partent en fumee devant des milliers de regards incredules... Quelques jours plus tard, on apprendra que la defaillance du lanceur etait due a une erreur d'execution dans le logiciel qui pilotait le systeme de reference inertielle de la fusee.