La validation des logiciels: un enjeu critique

摘要

De nos jours, nous ne pouvons pas imaginer notre vie sans informatique. Le logiciel contribue a presque toutes nos activites, meme les plus simples. Les programmes controlent nos vies mais nous devons rester vigilants car ce ne sont que des creations humaines, donc sujettes a l'erreur. Ils repondent a des strategies d'entreprises, et, dans la mesure ou beaucoup d'argent peut etre implique, les entreprises peuvent decider que certaines erreurs ne valent pas la peine d'etre corrigees. Apres avoir donne quelques exemples recents de defaillances informatiques aux consequences plus ou moins graves, nous expliquons comment les domaines de la validation, de la securite fonctionnelle, de la cybersecurite et de l'ingenierie systeme proposent de contrecarrer de tels incidents ou accidents. Nous concluons en donnant quelques exemples de travaux et reflexions en cours sur le sujet.