|
BE Allemagne 344 >> 19/07/2007
Informatique
L'Allemagne élabore un label de qualité pour éviter les pannes de logiciels
http://www.bulletins-electroniques.com/actualites/43669.htm
Dix entreprises et sept universités allemandes ont entrepris de développer un label de qualité baptisé "Verified in Germany" pour garantir les logiciels informatiques contre les pannes, souvent coûteuses et parfois dangereuses, qui les bloquent.
Ce projet novateur, à la pointe de l'innovation mondiale, a reçu le soutien du Ministère fédéral de l'enseignement et de la recherche (BMBF), qui vient de débloquer près de 12 millions d'euros sur trois ans pour le faire avancer. Les erreurs de logiciels représentent un préjudice financier de plus de 100 milliards d'euros par an en Europe, et leur résolution représente aujourd'hui jusqu'à 70 à 80% du travail des fabricants. Le manque de fiabilité constitue, qui plus est, un danger potentiel dans des secteurs comme l'automobile, la médecine et les technologies liées à la sécurité. Or plus l'exigence de confort est élevée (par exemple pour la banque en ligne), plus la complexité du système augmente et plus le risque de panne est grand. Le projet allemand "VERISOFT XT" vise donc à inventer des méthodes et des outils pour vérifier formellement la conception des systèmes informatiques intégrés, et pouvoir garantir qu'ils contiennent "zéro défaut". Le projet a dépassé le stade de la recherche mathématique pour se concentrer désormais sur les applications industrielles.
La conduite scientifique du projet est assurée, dans le cadre du programme gouvernemental pour l'informatique "IKT 2020", par le Centre allemand de recherche pour l'intelligence artificielle (DFKI).
Pour en savoir plus, contacts :
http://www.bmbf.de/press/2092.php
Source :
- Communiqué de presse du BMBF (Nr. 148/2007) - 09/07/2007
- Les nouvelles d'Allemagne - 11/07/2007
Rédacteur :
Marina Pajak, marina.pajak@diplomatie.gouv.fr
Origine : BE Allemagne numéro 344 (19/07/2007) - Ambassade de France en Allemagne / ADIT - http://www.bulletins-electroniques.com/actualites/43669.htm
Vous souhaitez réutiliser cette information ?
Pour connaître les détails des conditions d'utilisation et des droits de diffusion des Bulletins Electroniques, connectez-vous sur le site web des BE : www.bulletins-electroniques.com
La mention légale en italique ci-dessus est obligatoire et doit systématiquement accompagner la présente information.
|