Forum d'entraide en sciences
Bienvenue sur le forum d'entraide en sciences ! Inscrivez-vous gratuitement pour accéder à l'intégralité du forum ou connectez-vous si c'est déjà fait !

Bonne visite !

Un chercheur du CNRS reçoit le prix Turing

Aller en bas

Un chercheur du CNRS reçoit le prix Turing

Message par Julien le Mer 6 Fév 2008 - 18:02

Joseph Sifakis, directeur de recherche au CNRS, vient de recevoir la plus haute distinction en matière d'informatique, le prix Turing, ou Turing Award, remis chaque année depuis 1966 par l'ACM (Association for Computing Machinery). Ce titre honorifique vient récompenser ses efforts, ainsi que ceux de son équipe, ayant conduit à la mise au point de ce que l'on appelle le Model Checking, une technologie de vérification des systèmes complexes. Joseph Sifakis est le premier Français à recevoir cette distinction.

Le Turing Award est assorti d'un prix de 250.000 dollars, au financement duquel participent des entreprises comme Intel ou Google ainsi qu'un certain nombre d'organismes de recherche américains.

« Le Model Checking est une méthode algorithmique qui permet de vérifier qu'un système logiciel ou matériel satisfait à des exigences données (de sécurité ou de sûreté par exemple) », explique le CNRS dans un communiqué. Aujourd'hui, il serait largement utilisé dans les industries du matériel et du logiciel informatique pour vérifier l'efficacité de puces, de protocoles de communication, de pilotes logiciels, de systèmes embarqués ou d'algorithmes de sécurité.

« Cette technologie est aujourd'hui utilisée dans l'industrie descircuits intégrés afin de concevoir des systèmes complexes dont on peut garantir la conformité aux spécifications initiales. L'impact industriel du Model Checking devrait être encore plus significatif dans les années à venir notamment en ce qui concerne la vérification des processeurs et des systèmes critiques embarqués », explique encore le CNRS.


Source : http://www.clubic.com/
avatar
Julien
Administrateur
Administrateur

Masculin Nombre de messages : 12291
Age : 31
Localisation : Clermont-Ferrand
Profession / Etudes : Ingénieur
Points : 20573
Date d'inscription : 10/03/2005

Revenir en haut Aller en bas

Revenir en haut

- Sujets similaires

 
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum