La sûreté des logiciels - CEA

la compétitivité. Il faut sortir un nouveau produit plus vite et moins cher que lesconcurrents. La crise économique est un facteur de croissance, car il faut être encore pluscompétitif.En outre, la correction d’une erreur sur un logiciel coûte infiniment plus cher si elle estdétectée tardivement. Une détection précoce d’erreurs peut être faite avant l’étape de testsi l’on dispose d’outils d’analyse statique du logiciel, c’est-à-dire sans exécution de celuici.Le résultat de l’analyse est valable pour toute exécution du logiciel, quelles que soientles valeurs d’entrée, et non uniquement pour certains jeux de valeurs particulières commec’est le cas pour le test. C’est précisément sur cette approche que le Laboratoired’intégration des systèmes et des technologies (List) 1 du CEA a développé unetechnologie innovante pour renforcer la maîtrise de la sûreté des logiciels critiquesdans l’industrie.Le marché des logiciels en pleine croissanceL’emploi des techniques logicielles dans les principaux domaines industriels estmaintenant incontournable. Pour un système programmé donné, la taille du logiciel doubletous les 18 mois. En 2002, le marché des outils logiciels pour le développementd’applications (tous domaines confondus, y compris les outils logiciels pour la sûreté) areprésenté près de 9 milliards d’euros (source Cabinet IDC, nov. 2002) avec unecroissance prévisible de 13 % dans les quatre années à venir.L’industrie a besoin d’outils permettant de rendre ces logiciels plus fiables, à faible coût etdans des délais toujours plus courts.Au plan purement économique, une étude menée par le National Institut of Standards andTechnology américain évalue à 60 milliards de dollars par an le coût des boguesinformatiques, dont 22 milliards de dollars pourraient être évités si l’industrie informatiqueaméliorait ses méthodes de vérification de logiciels.1 Cf fiche CEA/ListDossier de presse CEA : sûreté des logiciels septembre 2003 www.cea.fr / 4